let debugging = Tags.mem "debug" (tags_of_pathname plugin_file)