Fix 32bit compilation