[GiNaC-devel] more patch