download precompiled cabal-dev