Upgraded to auctex-11.87