elpa update: auctex & cider