diff --git a/src/kernel_internals/runtime/dump_config.ml b/src/kernel_internals/runtime/dump_config.ml
index 36a0d0fea55d9739f74326eaa35d4e634686bb60..5dce2b63232ba0227c595e394e120c79cc8b50d2 100644
--- a/src/kernel_internals/runtime/dump_config.ml
+++ b/src/kernel_internals/runtime/dump_config.ml
@@ -51,8 +51,8 @@ let dump_to_json () =
     "major_version", `Int Fc_config.major_version ;
     "minor_version", `Int Fc_config.minor_version ;
     "is_gui", `Bool Fc_config.is_gui ;
-    "lablgtk", `String Fc_config.lablgtk ;
-    (* "ocamlc", `String Fc_config.ocamlc ;
+    (* "lablgtk", `String Fc_config.lablgtk ;
+     * "ocamlc", `String Fc_config.ocamlc ;
      * "ocamlopt", `String Fc_config.ocamlopt ; *)
     "ocaml_wflags", `String Fc_config.ocaml_wflags ;
     "datadir", `String (Fc_config.datadir:>string) ;
diff --git a/src/kernel_internals/runtime/fc_config.ml.in b/src/kernel_internals/runtime/fc_config.ml.in
index f24f0a68b402a2001536851ab66a69522619754d..30d792b08e04dd7b55879cd8ecdf8930bed0654a 100644
--- a/src/kernel_internals/runtime/fc_config.ml.in
+++ b/src/kernel_internals/runtime/fc_config.ml.in
@@ -32,8 +32,6 @@ let minor_version = @MINOR_VERSION@
 
 let is_gui = Frama_c_very_first.Gui_init.is_gui
 
-let lablgtk = "@LABLGTK@"
-
 let ocaml_wflags = "@WARNINGS@"
 let datadirs = (List.map Filepath.Normalized.of_string Config_data.Sites.share)
 let datadir = List.hd (List.rev datadirs)
diff --git a/src/kernel_internals/runtime/fc_config.mli b/src/kernel_internals/runtime/fc_config.mli
index 5f6af30299f6eedebd81bb832c88680235b4d1b1..1d442453ffbddde56beb901745e002b8010ae6d7 100644
--- a/src/kernel_internals/runtime/fc_config.mli
+++ b/src/kernel_internals/runtime/fc_config.mli
@@ -48,10 +48,6 @@ val is_gui: bool
       @since frama-c-trunk not anymore a reference
 *)
 
-val lablgtk: string
-(** Name of the lablgtk version against which Frama-C has been compiled.
-    blank if only command-line mode is available. *)
-
 val ocaml_wflags: string
 (** Warning flags used when compiling Frama-C.
     @since Chlorine-20180501 *)