[GiNaC-devel] Versioning, SONAME versus file name, and all that.