Fix 64 bit usage