Fixes Vagrantfile