[GiNaC-devel] Patches