I still do not see a point in such changes. I remember that we have _multiple_ bug reports regarding stdint.h usage. We finally sorted them out, the current version is super-stable, there are no any complains about it. Why start it again?! Why break it or at least introduce a risk of breaking it again? I suggest to close it.

In short, I reject this pull request.