Fix yet another Holmakefile problem.