with cabal file