[GiNaC-devel] Please apply patch 7a2ac488 to the master branch too