Fix generation of ssh keys