add cabal file