remove encoding of output using Haskeline; the IO library does it now (#3398)