How to remove krb5-sync-plugin from Debian 9 (Stretch)