* Makefile.in (bootstrap): Set MAKEFILE_NAME when building Makefile,