[CTest] for travis, use gcov-4.8 (matching the gcc version)