zsh/proxy should be machine-independent.
Setup proxy if available.