Clean-up after gcov.