set-terminal-coding-system utf-8