Re: [sr-dev] build problem: ser's avpops module