I would like to use a virtual box with Vagrant using KVM and libvirt on my Fedora 25 system. This has worked already with Fedora 24. When I try to start the machine, it seems to ignore the --provider libvirt flag and still uses VirtualBox:$ vagrant up --provider libvirtThe provider 'virtualbox' that was requested to back the machine'default' is reporting that it isn't usable on this system. Thereason is shown below:Vagrant could not detect VirtualBox! Make sure VirtualBox is properly installed.Vagrant uses the `VBoxManage` binary that ships with VirtualBox, and requiresthis to be available on the PATH. If VirtualBox is installed, please find the`VBoxManage` binary and add it to the PATH environmental variable.How can I get it to use KVM?My Vagrantfile is just this:Vagrant.configure(2) do |config|  config.vm.box = ubuntu/xenial64  config.vm.provision shell, inline: <<-SHELL    sudo apt-get update    sudo apt-get install devscripts  SHELLend
Vagrant tries to use VirtualBox although I specified libvirt
vagrant