Fix for running in 32-bit mode.