add ssh_config option