Some changes in Vagrantfile