Cabal uses incorrect proxy settings

[Neil Mitchell]

Hi Duncan,

> Done.
>
>  Could you check it works for you now (both with an without a proxy if
>  possible).

It works correctly without a proxy, I can't check the other case as I
am not behind a proxy.

Thanks

Neil