SERVER-13635 remove dead code