Added auctex mode