SERVER-13856 remove unnecessary usage of repl:: from the repl directory