How to remove dogtag-pki-console-theme from Debian Unstable (Sid)