Fix 32-bit compilation issue