Small update to Vagrantfile