add ExternalREPL