* Makefile.in: Revert previous (presumably accidental) change