adjusting vagrantfiles