Re: Integrating tools with Cabal