Add auctex.