debian/tmp/usr/lib/xorg/modules/xlibre-25/drivers/siliconmotion_drv.so
debian/tmp/usr/share/man/man4/siliconmotion.4
