Fix for 32-bit (esp. win32 failing build).