minor tweak to vagrantfile