private static bool filter_by_type_name_ignore_case (Type m, object filterCriteria) {
string s = (string)filterCriteria;
if (s.EndsWith ("*"))
return m.Name.ToLower ().StartsWith (s.Substring (0, s.Length - 1).ToLower ());
else
return String.Compare (m.Name, s, true) == 0;
}