Fixes printf argument warnings

Fixes some -Wextra warnings about printing uint64_t values. Uses she standard format specifier macros form <inttypes.h>.