How to remove acl2-books-certs from Debian 9 (Stretch)