[Hackage] #562: cabal-install update fails going through a HTTP proxy (but not consistently)