cleanup auctex