stdint.h isn't available on all platforms