SERVER-7174 Work around apparent OS X GCC 4.2 optimizer confusion