Either way is valid. Using auto_correct you _can_ embed it without running into issues. Doing so is essentially doing the same thing that Vagrant does with SSH in the base Vagrantfile in your home directory.

Having said that, I'd prefer not putting it into the base box for consistency. Things are likely going to change in the future when Vagrant core supports Windows guests.