Include a missing header for uint64_t