Update cabal files