Cabal file revised