(encode_builtin_char_1): Use `mojikyo' instead of