Fix 32bit builds