Add auctex package.