fixie for ssh_config