travis: use gcov 4.8