(Fdecode_builtin_char): Use `latin-viscii-lower' and