Fix vagrant link using HTTPS.