Re: patch: DESTDIR support for XEmacs 21.5.18