Re: [GHC] #2258: ghc --cleanup