bared the default REPL (#212)