functor (U : sig  end) ->
  sig
    val plugin : string
    val plugin_file : string
    val plugin_config_file : string
    val plugin_config_file_interface : string
    val we_have_a_config_file : bool
    val we_need_a_plugin : bool
    val we_have_a_plugin : bool
    val we_have_a_config_file_interface : bool
    val up_to_date_or_copy : Pathname.t -> bool
    val profiling : bool
    val debugging : bool
    val rebuild_plugin_if_needed : unit -> unit
    val execute_plugin_if_needed : unit -> unit
  end