add setup for auctex