Defaulting to using VirtualBox provider, but mentioning others