for the star, I wasn't sure if there were other packages involved. for example the open source version in debian is called virtualbox-ose.

as for the message, I guess we could have that message. I don't know though how the segfaults affect what vagrant-libvirt is doing. It looks like it's working but then segfaults mean that something is crashing somewhere.