Added ec2ssh, driven by EC2 host id instead of IP address or domain name