Small changes to the vagrant config