removed auctex