Updates to the vagrantfile