bugfix to Vagrantfile