Re: [zypp-devel] compilation of libsatsolver