set default provider for vagrant