[GiNaC-devel] Patches for compilation with MSVC