Fix vagrant.sh