Fix update_ssh_config script (still incomplete)