ssh/zsh: Update hostnames of virtual servers.