updates suggested by @pao
Merge pull request #8130 from jakebolewski/jcb/updatevagrant

update vagrant file