Add stdint.h for uint8_t