fixed up repl and repl.bat