SERVER-15700 SERVER-15701 fixed compilation error