Correct vagrantfile