How to install xserver-xorg-video-tdfx on Debian 9 (Stretch)