Fix build for 32-bit system.