Vagrant file tweaks