Fix vagrantfile