How to install libtxc-dxtn-s2tc0 on Debian 9 (Stretch)