Remove the old REPL