[patch] #562: cabal-install update fails going through a HTTP proxy