SERVER-13645 kill dead code