I have a same issue and trying to solve it.
I found a `eosiolib` folder in `usr/local/include`, and I guess this is a default include path of `eosiocpp` the compiler. But my `stdint.h` file is in `usr/include` folder. I guess, `eosiocpp` can’t see my default include path unlike cpp.
In case of cpp, I can find the include path as `cpp -v` command, but `eosiocpp` doesn’t have it yet.(right?)
How can i change the default include path of `eosiocpp`?