Really use newer gcov version