fix the call to save_thm in compile_repl_stepScript.sml