let profiling = Tags.mem "profile" (tags_of_pathname plugin_file)