SERVER-10026 delete some dead code