VAGRANT_DEFAULT_PROVIDER=lxc is a good default