rename GNUmakefile back to Makefile

The mysterious bug referred to in the previous bug has been
fixed.