Fix 32-bit allocations