SERVER-14462 Fix compile break on Linux 32-bit