Re: [sr-dev] debian lib dir question