The stdint.h header is now available on all supported compilers