http://beecoder.org/ru/linux/how-to-install-acl2-books-in-linux