Fix the 32-bit build.