Updates to Vagrantfile