build error: uint64_t doesn't name a type

[chienguo]

Is this a regression?

Yes

Description

when I run ./build.sh, the following error came out

/home/chien/pikiwidb/src/pstd/pstd_hash.cc:84:18: error: ‘uint64_t’ does not name a type
   84 |   using uint64 = uint64_t;
      |                  ^~~~~~~~
/home/chien/pikiwidb/src/pstd/pstd_hash.cc:77:1: note: ‘uint64_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
   76 | #include <cstring>
  +++ |+#include <cstdint>

here is my machine setup, os: arch linux x86-64 compiler: GCC 14.1.1

Is it necessary to add the suggested header? If it is needed, then why it is absent in our codebase?

Please provide a link to a minimal reproduction of the bug

No response

Screenshots or videos

Please provide the version you discovered this bug in (check about page for version information)

No response

Anything else?

No response

[luky116]

@AlexStocks

[luky116]

@dingxiaoshuai123 @kaiyan

[Issues-translate-bot]

Bot detected the issue body's language is not English, translate it automatically.

---

@丁小素123 @开眼

[KKorpse]

我们暂时都没法复现，可以再看看本地环境的问题？

[Issues-translate-bot]

Bot detected the issue body's language is not English, translate it automatically.

---

We can't reproduce it for the time being. Can we look at the problem in the local environment?