Fix bug 576 about ssh keys