use gcov 4.8