removed: auctex