Compilation error: uint16_t does not name a type

[fjulian]

Hi, thanks for this great tool first of all!

Right now I am trying to install it in a new environment using pip install igibson==2.0.2 (also tried with 2.2.2, but same issue) and get the following error message:

igibson/render/pybind11/include/pybind11/attr.h:192:10: error: 'uint16_t' in namespace 'std' does not name a type; did you mean 'wint_t'?
        192 |     std::uint16_t nargs;
            |          ^~~~~~~~                                     
            |          wint_t

To make sure uint16_t works in general on the system, I tried compiling the following minimal example, which works fine:

#include <iostream>
#include <cstdint>

using namespace std;

int main() {
        uint16_t bla = 7;
        int a = 3;
        cout << a << " " << bla << "\n";
        return 0;
}

Here are the versions of the tools I'm using:
ubuntu 22.04.4, 5.15.0-113-generic
Python 3.10.13
pip 24.2
g++ 13.2.0
cmake 3.27.7

This is running in an environment I don't have sudo rights in, so I'm somewhat limited regarding installing software.
Any help to solve this would be greatly appreciated. Thanks in advance!