#1288615: Python code.interact() and non-ASCII input