Re: [PATCH] repair xemacs.def.in.in