How to install tintin++ on Debian 9 (Stretch)