bug: set-terminal-coding-system doesn't work?