acl2-books-certs binary: extra-license-file usr/share/acl2-8.2dfsg/books/centaur/aignet/copying.cert