SERVER-12157: fix 32-bit compile