remove warning when printing uint64_t values