Fix vagrantfiles