Fix 32bit build