How to remove acl2-books-certs from Debian Unstable (Sid)