Fixing uint64_t printf format strings.