Fix broken vagrant.sh.