Auctex works now.