Fix printf for when uint64_t != unsigned long long int