SERVER-12157: fix build on Linux 32-bit and old version(s) of g++.