Re: [PPL-devel] libtool generated by "GNU $PACKAGE"