fix ssh config after merging gnocci/setup