don't leave Makefile.old after make clean (we really need to remove Makefile before clean target does mv Makefile Makefile.old)