Shared library libz3.so.4.8 could not be opened

[stbornowski]

Description
Missing binary on Ubuntu 26/Ubuntu 20/Docker.

To Reproduce
Steps to reproduce the behavior in a bash shell:

1. Download latest release utbot-release_2024.3.0.zip on Ubuntu 26.04 LTS or Ubuntu 20 LTS or in a docker container (tested with utbot-release-2022.12.0.zip)
2. Unzipping the folder
3. Executing unpack_and_run_utbot.sh
4. Execute the command sudo chmod +x /home/user/Downloads/utbot-release-2024.3.0/utbot_distr/server-install/utbot
5. Execute the command /home/user/Downloads/utbot-release-2024.3.0/utbot_distr/server-install/utbot generate --project-path "<path-to-project>" project
6. The following error occurs:
   /home/user/Downloads/utbot-release-2024.3.0/utbot_distr/server-install/utbot: error while loading shared libraries: libz3.so.4.8: cannot open shared object file: No such file or directory

Expected behavior
The cli interface of 'utbot' could be used in a bash shell

Actual behavior
The error above occurs.

Environment
Tested on Ubuntu 26.04 LTS, Ubuntu 20 LTS and in a Docker container