fixing Vagrantfile scripts