Hi Dave,

    in case it affects a decision to release 1.17 

Indeed. Thank you very much for the report (and the followup). The first
question that comes to mind: are you using the same version of libtool
in the various cases? --thanks again, karl.


Reply via email to