fixes Vagrantfile