tweaks to Vagrantfile