Dealing with printf uint64_t warnings