patch applied (cabal-install): Use proxy port number rather than ignoring it