Don't install VirtualBox Guest Additions if VAGRANT_DEFAULT_PROVIDER is set.
Typo
Merge pull request #1795 from eliasp/patch-1

Typo
Merge pull request #1578 from jimmycuadra/vagrant-provider-detection

Better VirtualBox detection in Vagrantfile
deployment, issue #1578: Avoid pinning kernel headers. Add Vagrantfile assumptions