Hard code auth for vagrant.

This simplifies things when switching between providers.  Fixes #1033.