removed obsolete repl stuff