modifying vagrantfile to specify provider