Add a #include for the uses of uint64_t.