Vagrantfile updates