How to install acl2-books-certs on Debian 9 (Stretch)