try to fix gcov build