tweak repl/Holmakefile

pick up new location of initialProgramTheory