We need this for zsh to play nice with our easy ssh setup