Install auctex.