add auctex, cleanup