1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.md b/INSTALL.md
index 4beef8a5..574f871e 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -26,7 +26,7 @@ opam repository add rems https://github.com/rems-project/opam-repository.git
 ```
 Install system dependencies, on Ubuntu:
 ```
-sudo apt-get install build-essential libgmp-dev z3
+sudo apt-get install build-essential libgmp-dev z3 pkg-config zlib1g-dev
 ```
 or [MacOS homebrew](https://brew.sh/):
 ```