Re: [GHC] #13516: broken pipe when interrupting on Windows