setup Vagrantfile