make ssh more robust