did you see @brettweavnet 's comments on the Vagrantfile?  I can see an argument either way.  If you think we should keep it, I'll fix this.  Else, I'll just delete the file.