Updates for the .cabal file