How to remove pki-tks from Debian 9 (Stretch)