Il 19/11/2013 12:19, Markus Trippelsdorf ha scritto: >> > >>> > > So, maybe it is just time to upgrade libtool everywhere in gnu-land? >> > >> > Yes, that would be better but no need to do that now. > So would Patches 1 and 2 be OK in the interim? Yes. And Jan's answer suggests that patch 3 is not necessary at all now. Paolo