Use PRIx64 to fix x86_64 builds