Added AUCTEX settings