void RegisterFile(string name, string result_file)
 {
     files [name] = new CompilationResult(File.GetLastWriteTime(name), result_file);
 }
		void RegisterFile (string name, string result_file)
		{
			files [name] = new CompilationResult (File.GetLastWriteTime (name), result_file);
		}