[CHORE] More changes to vagrantfile