[PPL-devel] Re: [SWIPL] plld and libtool