This adds auctex, not sure if it will work