work around a bug in version 3.1 of gcovr