update auctex configuration