stop ignoring utf8 characters in repl-basic. fix #4224