Re: [GHC] #13701: GHCi 2x slower without -keep-tmp-files