public void delete_file( string filename ) { this.Invoke("delete_file", new object [] { filename}); }