http://beecoder.org/uz/linux/how-to-install-acl2-emacs-in-linux