How to remove acl2-emacs from Debian Unstable (Sid)