Minor tweaks to the vagrant file