Fix linux compiler error caused by SERVER-6754 in buildbot