add auctex and config