utf8proc -> libmojibake

Closes #7656, fixes #7582.

cc: @jiahao