Changing the domain name used for ssh keys