Updates after update of vagrantfile