[GiNaC-list] about CLN versus win32 patch