BUG: Vagrantfile: vagrant-vbguest name for has_plugin() call is 'vbguest management'