venom, file: function to get a name for a temp file.