Use gcov 4.8