renamed Makefile to GNUmakefile because it is specific to GNU Make