Encoding for ansi-term