How to install sbox-dtc on Debian 9 (Stretch)