Re: Cabal uses incorrect proxy settings