more dynamic vagrantfile