Try to make github actions happy

.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

.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