Workaround for the crashed GCOV tool