Use C implementation of UTF8 decoding