[Hackage] #855: cabal behind proxy