Deal properly with EOF in the REPL, when built without readline