We should make sure this doesn't break with pyreadline on Windows. Pinging @jstenar .