Updates to vagrantfile