mods to Makefile.include