How to remove krdc-dbg from Debian 9 (Stretch)