add_diffcoverage_plugin: trying something else