Re: [sr-dev] INSTALL file