fix jenkins calling of gcovr