The current INSTALL.md is outdated and contains broken instructions for modern systems. The following changes are needed:
libavresample-dev: This package is no longer available in recent distributions (deprecated/removed in favor of libswresample). It should be removed or updated in the installation steps.
Please add Z3 section with the following details:
add description,
add Install command: sudo apt-get install libz3-dev