SERVER-13931 do some killCurrentOp cleanup