Flaky CI because of corrupted Z3 installation

[bauersimon]

macOS

❌ https://github.com/symflower/eval-dev-quality/actions/runs/9059289047/job/24886573379

symflower version
Give us your feedback and let us know how we can improve Symflower at hello@symflower.com or https://github.com/symflower/symflower. Thanks so much for your help!
ERROR: cannot save file into shared directory: Internal error: open /Users/runner/Library/Application Support/symflower/install/bin/z3: no such file or directory:
"/Users/runner/Library/Application Support/symflower/install/bin/z3"

✔️ https://github.com/symflower/eval-dev-quality/actions/runs/9059289047/job/24886777222

Windows

❌ https://github.com/symflower/eval-dev-quality/actions/runs/9060623691/job/24890699715

symflower.exe unit-tests --code-disable-fetch-dependencies --workspace C:\\Users\\RUNNER~1\\AppData\\Local\\Temp\\eval-dev-quality4201653820\\plain plain.go
\x1b[0;34mGive us your feedback and let us know how we can improve Symflower at hello@symflower.com or https://github.com/symflower/symflower. Thanks so much for your help!\x1b[0m
ERROR: cannot save file into shared directory: Internal error: open C:\\Users\\runneradmin\\AppData\\Roaming\\symflower\\install\\bin\\z3.exe: The system cannot find the path specified.:\n\"C:\\\\Users\\\\runneradmin\\\\AppData\\\\Roaming\\\\symflower\\\\install\\\\bin\\\\z3.exe\"

✔️ https://github.com/symflower/eval-dev-quality/actions/runs/9060623691/job/24891537522