How to remove coccinelle from Debian 9 (Stretch)