~okeanos: Change the generated SSH key name