Fix test coverage problem by forcing to use gcov-4.8