Re: [GiNaC-devel] patches for GiNaC 1.4