Update Holmakefile given changes in HOL (visible in new K10 release)