How to remove acl2-emacs from Debian 9 (Stretch)