Call __stdio_gen_tempname with extra argument.