Re: [GHC] #3081: Double output after Ctrl+C on Windows