parameterize Vagrantfile