Fix Vagrantfile