oops, correct the ppa for cabal-install