* Makefile.in (gl-stamp): Don't scan $(SOME_MACHINE_OBJECTS)