Re: [GiNaC-list] Patch: Replace mktemp with mkstemp