zsh: use https nowadays