Fix undeclared UINT64_C macro