make sketchScript.sml compile with Holmake (boring bureaucratic changes)