altered jenkins vagrantfile