EOF terminates the repl now