remove semantics/Makefile; just use the Holmakefile