How to remove cl-modlisp from Debian 9 (Stretch)