Updated REPL socket location