remove Makefile from metatheory; just use Holmakefile