Update auctex to 11.87.