adjustments to Vagrantfile