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