some minor changes to the vagrant file