more general vagrantfile