SERVER-9411 make buildbot happy