[Bug 52783] New: error: unknown type name ‘uint64_t’