explictly use gcov-4.8