tweaks to vagrantfile