On Tue, Oct 22, 2013 at 6:30 PM, Jelmer Vernooij <jelmer at ubuntu.com> wrote: > See my other reply. The same is true for these libraries; they're all > private libraries that no external users should link against. OK, thanks for the explanation. Cheers! -- Thomas