Adding auctex