Update Vagrantfile

For those who need it