add auctex settings