Updating the cabal file