ssh_config: include a working .ssh/config