fixed encoding bug in ipy_repl