Use earlier version of cabal-install to avoid proxy bug with UQ.