SERVER-13645 remove dead code