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.

andrewyoung1991/scons,andrewyoung1991/scons,andrewyoung1991/scons,andrewyoung1991/scons,andrewyoung1991/scons,andrewyoung1991/scons,andrewyoung1991/scons,andrewyoung1991/scons,andrewyoung1991/scons