CVS update by vins xemacs/etc ...