Fix #6. Handle Ctrl-D in REPL.