Fix 32-bit host portability bug