diff --git a/bin/frama-c.debug b/bin/frama-c.debug
index c56ea01523cc155e67b37fe3a6afff9bb38f89ab..89d9b58a60320637d298fbc80b9714ea19afb702 100755
--- a/bin/frama-c.debug
+++ b/bin/frama-c.debug
@@ -29,6 +29,12 @@ if test ! -e .ocamldebug; then
     cat <<EOF > .ocamldebug;
 load_printer "str.cma"
 load_printer "zarith.cma"
+load_printer "dynlink.cma"
+load_printer "extlib.cmo"
+load_printer "filepath.cmo"
+load_printer "integer.cmo"
+load_printer "transitioning.cmo"
+load_printer "pretty_utils.cmo"
 load_printer "cil_types_debug.cmo"
 load_printer "cabs_debug.cmo"