diff --git a/dev/core_dune.dbg b/dev/core_dune.dbg
index b2a40a279d4f..3af8df5a58e3 100644
--- a/dev/core_dune.dbg
+++ b/dev/core_dune.dbg
@@ -4,6 +4,7 @@ load_printer zarith.cma
 load_printer config.cma
 load_printer clib.cma
 load_printer boot.cma
+load_printer perf.cma
 load_printer lib.cma
 load_printer gramlib.cma
 load_printer coqrun.cma
diff --git a/dev/db b/dev/db
index ce61411413ab..bb7c4eb390a1 100644
--- a/dev/db
+++ b/dev/db
@@ -4,6 +4,7 @@ load_printer zarith.cma
 load_printer config.cma
 load_printer boot.cma
 load_printer clib.cma
+load_printer perf.cma
 load_printer lib.cma
 load_printer gramlib.cma
 load_printer coqrun.cma