Re: How to install XEmacs with different names?