Fix 64 bits build