diff --git a/.github/workflows/CI-unixish.yml b/.github/workflows/CI-unixish.yml
index 0580620b0..95e94d27c 100644
--- a/.github/workflows/CI-unixish.yml
+++ b/.github/workflows/CI-unixish.yml
@@ -23,6 +23,7 @@ jobs:
           sudo apt-get update
           sudo apt-get install libxml2-utils
           sudo apt-get install z3 libz3-dev
+          cp externals/z3_version_old.h externals/z3_version.h
 
       - name: Install missing software on macos
         if: matrix.os == 'macos-latest'
@@ -37,6 +38,7 @@ jobs:
 
       - name: Build cppcheck
         run: |
+          cp externals/z3_version_old.h externals/z3_version.h
           make -j2 USE_Z3=yes HAVE_RULES=yes
 
       - name: Build test
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 175cc9045..446bdf57d 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -22,6 +22,7 @@ jobs:
 
       - name: Compile instrumented
         run: |
+          cp externals/z3_version_old.h externals/z3_version.h
           make test CXXFLAGS="-g -fprofile-arcs -ftest-coverage" USE_Z3=yes HAVE_RULES=yes -j$(nproc)
           
       - name: Generate coverage report