diff --git a/src-core-printer/dune b/src-core-printer/dune
index 1c19b42b..a43b6931 100644
--- a/src-core-printer/dune
+++ b/src-core-printer/dune
@@ -2,5 +2,5 @@
   (name        core_printer)
   (public_name core_printer)
   (wrapped  false)
-  (libraries core_pp core_time_defaults core yojson)
+  (libraries core_pp core_time_defaults_pp core yojson)
 )
diff --git a/src-core-time-defaults-pp/core_time_defaults_pp.opam b/src-core-time-defaults-pp/core_time_defaults_pp.opam
new file mode 100644
index 00000000..e69de29b
diff --git a/src-core-time-defaults-pp/dune b/src-core-time-defaults-pp/dune
new file mode 100644
index 00000000..f0bb1ef1
--- /dev/null
+++ b/src-core-time-defaults-pp/dune
@@ -0,0 +1,11 @@
+(library
+  (name        core_time_defaults_pp)
+  (public_name core_time_defaults_pp)
+  (wrapped  false)
+  (libraries 
+      core_time_defaults
+      core_pp
+      core
+      yojson
+    )
+)
diff --git a/src-core-time-defaults/timeDefaults_json.ml b/src-core-time-defaults-pp/timeDefaults_json.ml
similarity index 100%
rename from src-core-time-defaults/timeDefaults_json.ml
rename to src-core-time-defaults-pp/timeDefaults_json.ml
diff --git a/src-core-time-defaults/timeDefaults_parser.ml b/src-core-time-defaults-pp/timeDefaults_parser.ml
similarity index 100%
rename from src-core-time-defaults/timeDefaults_parser.ml
rename to src-core-time-defaults-pp/timeDefaults_parser.ml
diff --git a/src-core-time-defaults/timeDefaults_pp.ml b/src-core-time-defaults-pp/timeDefaults_pp.ml
similarity index 100%
rename from src-core-time-defaults/timeDefaults_pp.ml
rename to src-core-time-defaults-pp/timeDefaults_pp.ml
diff --git a/src-core-time-defaults/dune b/src-core-time-defaults/dune
index 7b2bdbd1..fcb939bc 100644
--- a/src-core-time-defaults/dune
+++ b/src-core-time-defaults/dune
@@ -3,8 +3,6 @@
   (public_name core_time_defaults)
   (wrapped  false)
   (libraries 
-      core_pp
       core
-      yojson
     )
 )
diff --git a/src-core-utils/dune-project b/src-core-utils/dune-project
new file mode 100644
index 00000000..7655de07
--- /dev/null
+++ b/src-core-utils/dune-project
@@ -0,0 +1 @@
+(lang dune 1.1)
diff --git a/src-protocol-exts-pp-vg/dune b/src-protocol-exts-pp-vg/dune
index 9acfe073..95058878 100644
--- a/src-protocol-exts-pp-vg/dune
+++ b/src-protocol-exts-pp-vg/dune
@@ -2,5 +2,5 @@
   (name        protocol_exts_pp_vg)
   (public_name protocol_exts_pp_vg)
   (wrapped  false)
-  (libraries yojson core_pp core_time_defaults protocol_exts_vg)
+  (libraries yojson core_pp core_time_defaults_pp protocol_exts_vg)
 )
diff --git a/src-protocol-exts-pp/dune b/src-protocol-exts-pp/dune
index ae361f9c..6840edf1 100644
--- a/src-protocol-exts-pp/dune
+++ b/src-protocol-exts-pp/dune
@@ -3,5 +3,5 @@
   (public_name protocol_exts_pp)
   (wrapped false)
   (flags (:standard -open Imandra_prelude))
-  (libraries venue_prelude core_pp protocol_exts yojson)
+  (libraries venue_prelude core_pp protocol_exts yojson core_time_defaults_pp)
 )