Fix 64bit build