let plugin_config_file_interface = plugin^"_config.mli"