Again, vimcolor plugin question…

I use vimcolor plugin for my syntax highlighting, as it works for LaTeX code.

The plugin generates a lot of temporary files in WP’s *root* directory (hundreds!), and there’s no configuration option to change it. I found the code says:

$in_file = tempnam($GLOBALS['conf']['file_directory_temp'], 'pl');
$out_file = tempnam($GLOBALS['conf']['file_directory_temp'], 'htm');


where ‘pl’ and ‘htm’ are the temporary file prefix.
I wonder if I can hard wire the directory there. I am no good at PHP programming, let’s say I want the temp file stored in /tmp/vimcolor, how do I re-write the above code?

Thanks,