diff --git a/gobview b/gobview
index 41be36b548..42b07f8253 160000
--- a/gobview
+++ b/gobview
@@ -1 +1 @@
-Subproject commit 41be36b54837b24e6de83740c34e810d3d1afdfb
+Subproject commit 42b07f825316052ec030370daf0d00ebe28ec092
diff --git a/src/common/dune b/src/common/dune
index b937ecdd02..c9ed9f9db2 100644
--- a/src/common/dune
+++ b/src/common/dune
@@ -5,7 +5,7 @@
  (public_name goblint.common)
  (wrapped false) ; TODO: wrap
  (libraries
-   batteries
+   batteries.unthreaded
    zarith
    goblint_std
    goblint-cil
diff --git a/src/util/std/dune b/src/util/std/dune
index c85710a8d6..c6961a1725 100644
--- a/src/util/std/dune
+++ b/src/util/std/dune
@@ -4,7 +4,7 @@
  (name goblint_std)
  (public_name goblint.std)
  (libraries
-   batteries
+   batteries.unthreaded
    zarith
    goblint-cil
    fpath