Another change to a Holmakefile in light of 6e6ca26