Building with GCC 13 failed because for example std::int32_t was not found. Porting guide [1] suggested to add explicit includes for <cstdint> if necessary, so did just that. [1]: https://gcc.gnu.org/gcc-13/porting_to.html