Makefile is now generated by configure, in case configure options affect the Makefile, especially the "--enable *" options we might use for including arbitrary packages.