set up vagrantfile