On Tue, Apr 16, 2013 at 06:13:14PM +0200, Andreas Schwab wrote: > Jakub Jelinek <jakub@redhat.com> writes: > > > I'm pretty sure when the changes were added for gcc 4.2 it worked just fine, > > I'm pretty sure it never worked as intented. Both libraries are actually intended to be installed, not just one. Does your patch achieve that? Jakub