SERVER-9411 SERVER-9679 Work around compiler bug in RHEL6.2