fix ssh known host