Name the proxy makefiles "GNUmakefile" instead of "makefile".