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