Fix a snprintf() warning regarding unsigned int64 format string.