RE: ghc --make feature request