Revert to using Makefile.inc (GNU make is used anyway).