Check if need to load auctex.