Please ignore this comment:
> I noticed that make clean leaves gcda and gcov files on the current> HEAD, and this is no different with the given patch.