cabal buildable version + proxy update