Fix 64bits build