Putative fix for the CI problem perceived to be due to 32-bit platform.
Putative fix for the CI problem perceived to be due to 32-bit platform.

timj/scons,timj/scons,timj/scons,timj/scons,timj/scons,timj/scons,timj/scons,timj/scons,timj/scons