SERVER-15317 Remove extraneous references to deprecated repl headers outside the repl directory.