stdint.h is not available on all platforms