Revert 64023. make prefers GNUmakefile over makefile.