Auctex configuration upgraded for 11.88.