diff --git a/.github/workflows/python-app.yml b/.github/workflows/python-app.yml
index a68117c..7bfd9d8 100644
--- a/.github/workflows/python-app.yml
+++ b/.github/workflows/python-app.yml
@@ -28,7 +28,7 @@ jobs:
     - name: Install dependencies
       run: |
         pip install --upgrade pip
-        sudo apt-get update && sudo apt-get install gcc make strip unzip openjdk-19-jdk graphviz-dev -y
+        sudo apt-get update && sudo apt-get install gcc make binutils unzip openjdk-19-jdk graphviz-dev -y
         pip3 install -e .
         pip3 install angr pytest
     - name: Run verification tests