another attempt to fix ml_repl_stepScript.sml