Update cabal instructions