fixing 48->64 bit bug