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