sshconfig with samsung.ec2 alias