Fixing VAGRANT_DEFAULT_PROVIDER