* Makefile.in (Makefile): Use it for its timestamp value as well, and