Minor tweaks to Vagrantfile (VMWare Fusion config)