CVS update: MODIFIED: auctex ...