Added a cabal definition