method get plugin =
    let plugin = if insensitive then String.uppercase plugin else plugin in
      try
        Some (List.assoc plugin plugins)
      with
        | Not_found -> 
            begin 
             try
              Some (List.assoc plugin aliases)
             with 
               | Not_found -> None
            end