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