minor vagrant-related updates