Use the vagrantfile