Updated example vagrantfile