diff --git a/goblint-http-server/dune b/goblint-http-server/dune
index a56d548..6b78d44 100644
--- a/goblint-http-server/dune
+++ b/goblint-http-server/dune
@@ -2,7 +2,7 @@
  (name goblint_http)
  (public_name goblint-http)
  (libraries
-  batteries
+  batteries.unthreaded
   cohttp
   cohttp-lwt
   cohttp-lwt-unix
diff --git a/src/dune b/src/dune
index 8af6dd1..a360b33 100644
--- a/src/dune
+++ b/src/dune
@@ -9,6 +9,7 @@
   gen_js_api
   goblint-cil
   goblint-cil.syntacticsearch
+  goblint.common
   goblint.lib
   goblint.timing
   goblint.sites.js