Quickfix for codecs.xxx.isatty() problem on CI (maybe: Linux related, MACOSX works).