fixing weird vagrantfile