minor Vagrantfile changes