Fix gcov misleading error (PR gcov-profile/86817).