Pin down coverage version in gcoverage