src/tools/mktemp