These are legitimately `ubyte`s, or they could be.  The `utf8_t` vs `unsigned char` distinction only matters for the D port, and the D port doesn't convert this file anyway.