Hotfix: discard NUL characters in readline, rather than faking EOF on the console.