[GiNaC-devel] Please pull from git://github.com/AlexeiSheplyakov/GiNaC.git master.fixups