Add the missing header file <cstdint> needed by uint64_t