Replace unsigned char by uint8_t