Update vagrant.sh to handle redirection at github.