Fix uint64_t printf warnings for 64-bit platforms