install auctex from lisp package