--- # defaults file for ssh_config