[GiNaC-list] Patch: Replace mktemp with mkstemp