Fix 64bits compilation