adding auctex