http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49970 --- Comment #9 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2012-07-08 08:20:02 UTC --- I don't know where the libtool bug tracker is, though I presume it has one.