corrects PATH to launch SML repl