[GiNaC-devel] Bug fix G_do_hoelder