use https to get around AWS issues with ssh key