patched repl, fixes #66