Prevent IPython from hijacking vanilla REPL