* src/Makefile.in (SOME_MACHINE_OBJECTS): Add some more files.