Re: [GiNaC-devel] Making new releases: libtool