diff --git a/gobview b/gobview
index 8e1b755ebc..f8ae450f2a 160000
--- a/gobview
+++ b/gobview
@@ -1 +1 @@
-Subproject commit 8e1b755ebc5fb479095fb4dcc30305fe02501e47
+Subproject commit f8ae450f2ac83f5ccf0ee174d2b7ae8376bb4f76
diff --git a/src/build-info/build_info_dune/dune b/src/build-info/build_info_dune/dune
deleted file mode 100644
index ec46f4b3d1..0000000000
--- a/src/build-info/build_info_dune/dune
+++ /dev/null
@@ -1,6 +0,0 @@
-; goblint.build-info implementation which properly uses dune-build-info
-(library
-  (name goblint_build_info_dune)
-  (public_name goblint.build-info.dune)
-  (implements goblint.build-info)
-  (libraries dune-build-info))
diff --git a/src/build-info/build_info_js/dune b/src/build-info/build_info_js/dune
deleted file mode 100644
index 9400f564ff..0000000000
--- a/src/build-info/build_info_js/dune
+++ /dev/null
@@ -1,5 +0,0 @@
-; goblint.build-info implementation which works with js_of_ocaml and doesn't use dune-build-info
-(library
-  (name goblint_build_info_js)
-  (public_name goblint.build-info.js)
-  (implements goblint.build-info))
diff --git a/src/build-info/build_info_js/dune_build_info.ml b/src/build-info/build_info_js/dune_build_info.ml
deleted file mode 100644
index 002015cd31..0000000000
--- a/src/build-info/build_info_js/dune_build_info.ml
+++ /dev/null
@@ -1 +0,0 @@
-let statically_linked_libraries = []
diff --git a/src/build-info/dune b/src/build-info/dune
index 1dd74c192c..085660531e 100644
--- a/src/build-info/dune
+++ b/src/build-info/dune
@@ -1,14 +1,9 @@
 (include_subdirs no)
 
-; virtual library to allow js build (for gobview) without dune-build-info
-; dune-build-info seems to be incompatible with js_of_ocaml
-; File "gobview/src/.App.eobjs/build_info_data.ml-gen", line 1:
-; Error: Could not find the .cmi file for interface
-;        gobview/src/.App.eobjs/build_info_data.ml-gen.
 (library
   (name goblint_build_info)
   (public_name goblint.build-info)
-  (virtual_modules dune_build_info))
+  (libraries dune-build-info))
 
 (rule
   (target configVersion.ml)
diff --git a/src/build-info/build_info_dune/dune_build_info.ml b/src/build-info/dune_build_info.ml
similarity index 100%
rename from src/build-info/build_info_dune/dune_build_info.ml
rename to src/build-info/dune_build_info.ml
diff --git a/src/dune b/src/dune
index a307a237ae..10996e7ee8 100644
--- a/src/dune
+++ b/src/dune
@@ -88,7 +88,7 @@
   (public_names goblint)
   (modes byte native) ; https://dune.readthedocs.io/en/stable/dune-files.html#linking-modes
   (modules goblint)
-  (libraries goblint.lib goblint.sites.dune goblint.build-info.dune goblint_std)
+  (libraries goblint.lib goblint_std)
   (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson))
   (flags :standard -linkall -open Goblint_std)
 )
@@ -96,7 +96,7 @@
 (executable
   (name privPrecCompare)
   (modules privPrecCompare)
-  (libraries goblint.lib goblint.sites.dune goblint.build-info.dune goblint_std)
+  (libraries goblint.lib goblint_std)
   (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson))
   (flags :standard -linkall -open Goblint_std)
 )
@@ -104,7 +104,7 @@
 (executable
   (name apronPrecCompare)
   (modules apronPrecCompare)
-  (libraries goblint.lib goblint.sites.dune goblint.build-info.dune goblint_std)
+  (libraries goblint.lib goblint_std)
   (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson))
   (flags :standard -linkall -open Goblint_std)
 )
@@ -112,7 +112,7 @@
 (executable
   (name messagesCompare)
   (modules messagesCompare)
-  (libraries goblint.lib goblint.sites.dune goblint.build-info.dune goblint_std)
+  (libraries goblint.lib goblint_std)
   (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson))
   (flags :standard -linkall -open Goblint_std)
 )
diff --git a/src/index.mld b/src/index.mld
index f0d63a0fc7..a2ef15482e 100644
--- a/src/index.mld
+++ b/src/index.mld
@@ -44,15 +44,9 @@ The following libraries provide [goblint] package metadata for executables.
 
 {2 Library goblint.build-info}
 {!modules:Goblint_build_info}
-This library is virtual and has the following implementations
-- goblint.build-info.dune for native executables,
-- goblint.build-info.js for js_of_ocaml executables.
 
 {2 Library goblint.sites}
 {!modules:Goblint_sites}
-This library is virtual and has the following implementations
-- goblint.sites.dune for native executables,
-- goblint.sites.js for js_of_ocaml executables.
 
 
 {1 Independent utilities}
diff --git a/src/sites/dune b/src/sites/dune
index d8663e37fe..6de3a5a32a 100644
--- a/src/sites/dune
+++ b/src/sites/dune
@@ -1,12 +1,10 @@
 (include_subdirs no)
 
-; virtual library to allow js build (for gobview) without dune-site
-; dune-site seems to be incompatible with js_of_ocaml
-;  File "gobview/src/.App.eobjs/dune_site_data.ml-gen", line 1:
-;  Error: Could not find the .cmi file for interface
-;        gobview/src/.App.eobjs/dune_site_data.ml-gen.
 (library
   (name goblint_sites)
   (public_name goblint.sites)
-  (virtual_modules goblint_sites)
-  (libraries fpath))
+  (libraries dune-site fpath))
+
+(generate_sites_module
+  (module dunesite)
+  (sites goblint))
diff --git a/src/sites/sites_dune/goblint_sites.ml b/src/sites/goblint_sites.ml
similarity index 100%
rename from src/sites/sites_dune/goblint_sites.ml
rename to src/sites/goblint_sites.ml
diff --git a/src/sites/sites_dune/dune b/src/sites/sites_dune/dune
deleted file mode 100644
index b7f90a8892..0000000000
--- a/src/sites/sites_dune/dune
+++ /dev/null
@@ -1,12 +0,0 @@
-; goblint.sites implementation which properly uses dune-site
-(library
-  (name goblint_sites_dune)
-  (public_name goblint.sites.dune)
-  (implements goblint.sites)
-  (modules goblint_sites dunesite)
-  (private_modules dunesite) ; must also be in modules
-  (libraries dune-site))
-
-(generate_sites_module
-  (module dunesite)
-  (sites goblint))
diff --git a/src/sites/sites_js/dune b/src/sites/sites_js/dune
deleted file mode 100644
index 4e20871974..0000000000
--- a/src/sites/sites_js/dune
+++ /dev/null
@@ -1,6 +0,0 @@
-; goblint.sites implementation which works with js_of_ocaml and doesn't use dune-site
-(library
-  (name goblint_sites_js)
-  (public_name goblint.sites.js)
-  (implements goblint.sites)
-  (modules goblint_sites))
diff --git a/src/sites/sites_js/goblint_sites.ml b/src/sites/sites_js/goblint_sites.ml
deleted file mode 100644
index 3a7b353064..0000000000
--- a/src/sites/sites_js/goblint_sites.ml
+++ /dev/null
@@ -1,6 +0,0 @@
-let lib = []
-let lib_stub_include = []
-let lib_stub_src = []
-let lib_runtime_include = []
-let lib_runtime_src = []
-let conf = []
diff --git a/tests/regression/cfg/util/dune b/tests/regression/cfg/util/dune
index fb3c5e6899..8ab300b531 100644
--- a/tests/regression/cfg/util/dune
+++ b/tests/regression/cfg/util/dune
@@ -5,7 +5,5 @@
    goblint_logs
    goblint_common
    goblint_lib ; TODO: avoid: extract LoopUnrolling and WitnessUtil node predicates from goblint_lib
-   fpath
-   goblint.sites.dune
-   goblint.build-info.dune)
+   fpath)
  (preprocess (pps ppx_deriving.std)))
diff --git a/tests/unit/dune b/tests/unit/dune
index 5f0b909a77..07c87e7822 100644
--- a/tests/unit/dune
+++ b/tests/unit/dune
@@ -2,7 +2,7 @@
 
 (test
   (name mainTest)
-  (libraries ounit2 qcheck-ounit goblint.std goblint.common goblint.lib goblint.constraint goblint.solver goblint.cdomain.value goblint.sites.dune goblint.build-info.dune)
+  (libraries ounit2 qcheck-ounit goblint.std goblint.common goblint.lib goblint.constraint goblint.solver goblint.cdomain.value)
   (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson))
   (flags :standard -linkall))
 
diff --git a/tests/util/dune b/tests/util/dune
index e43d21c25d..00ae40a0b9 100644
--- a/tests/util/dune
+++ b/tests/util/dune
@@ -5,9 +5,7 @@
    goblint-cil
    goblint_std
    goblint_lib
-   yaml
-   goblint.sites.dune
-   goblint.build-info.dune)
+   yaml)
  (flags :standard -open Goblint_std)
  (preprocess (pps ppx_deriving.std)))