delete auctex settings