more graceful quitting from repl