Cast uint64_t to unsigned int for %u format specifier.

Fixes 80.