/usr/lib64/xorg/modules/xlibre-25/drivers/vboxvideo_drv.so /usr/share/man/man4/vboxvideo.4.zst