Re: [GHC] #13586: ghc --make seems to leak memory