Vagrantfile tweaks