fix _hs_text_decode_utf8