Making changes to reflect that ptx is 64-bit