SERVER-6018 Work around GCC 40693 by casting through unsigned