{ "tmpdir", 0, 0, OptionArg.STRING, ref opt_tmpdir, "Temporary Directory to use", null },
{ "file", 0, 0, OptionArg.STRING, ref opt_files ,"add a file to compile", null },
{ "files-from", 0, 0, OptionArg.STRING, ref opt_files_from ,"a text file listing files to compile", null },
{ "tmpdir", 0, 0, OptionArg.STRING, ref opt_tmpdir, "Temporary Directory to use", null },
{ "file", 0, 0, OptionArg.STRING, ref opt_files ,"add a file to compile", null },
{ "files-from", 0, 0, OptionArg.STRING, ref opt_files_from ,"a text file listing files to compile", null },