Fix bug 557 about ssh keys