Use gcov 4.8 instead of gcov 4.6