How to remove tintin++ from Debian 9 (Stretch)