[GiNaC-devel] unintended? abi change in ginac 1.7.3