Merge PR#36: fix ssh config after merging gnocci/setup