utf7imap4: improved decode-char