patch applied (cabal-install): allow tilde in hackage server URIs