diff --git a/.github/actions/build-kind2-macos/action.yml b/.github/actions/build-kind2-macos/action.yml
index 364720dda..fb9bc630d 100644
--- a/.github/actions/build-kind2-macos/action.yml
+++ b/.github/actions/build-kind2-macos/action.yml
@@ -31,8 +31,8 @@ runs:
       echo "::group::Set OCaml compiler variant"
       wget -qq https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh
       echo -ne "~/.local/bin\nY\nY\n" | sh install.sh
-      brew install gpatch
-      opam init --disable-sandboxing --yes --compiler ${{ steps.ocaml-variant.outputs.compiler }}
+      brew install gpatch zeromq
+      opam init --disable-sandboxing --shell-setup --yes --compiler ${{ steps.ocaml-variant.outputs.compiler }}
       echo "::endgroup::"
 
   - name: Install OCaml dependencies