ssh_config: %h in HostName is too new a feature