Remove use of deprecated 'bare HOLMOSML' commands in src/0's Holmakefile