How to remove dogtag-pki-console-theme from Debian 9 (Stretch)