Bugfix in vagrantfile