more misc tweaks to Vagrantfile to help it  play nicely