Rename makefile.GNUmakefile to makefile