Re: [GHC] #3195: runghc failing sometimes