update auctex to 11.87