Add the files missing from c9f1630cf2b1 for issue9951.

hg status should be my friend more often...