diff --git a/sidekick.opam b/sidekick.opam
index c3935394..635d9133 100644
--- a/sidekick.opam
+++ b/sidekick.opam
@@ -11,6 +11,8 @@ depends: [
   "jbuilder" {build}
   "containers"
   "sequence"
+  "zarith"
+  "menhir"
 ]
 depopts: [
   "dolmen"
diff --git a/src/smtlib/jbuild b/src/smtlib/jbuild
index c041f14f..9dbc70d5 100644
--- a/src/smtlib/jbuild
+++ b/src/smtlib/jbuild
@@ -6,7 +6,6 @@
 (library
   ((name sidekick_smtlib)
    (public_name sidekick.smtlib)
-   (optional) ; only if deps present
    (libraries (containers zarith sidekick.smt sidekick.util
                sidekick.smt.th_bool sidekick.backend))
    (flags (:standard -w +a-4-42-44-48-50-58-32-60@8