Fix uint64_t printf formats.