fixes to Vagrantfile