Tweaks and fixes for the vagrant file