diff --git a/sw/lib/ocaml/env.ml b/sw/lib/ocaml/env.ml
index d93f623bce..8c3495578c 100644
--- a/sw/lib/ocaml/env.ml
+++ b/sw/lib/ocaml/env.ml
@@ -44,3 +44,5 @@ let flight_plans_path = paparazzi_home // "conf" // "flight_plans"
 let flight_plan_dtd = flight_plans_path // "flight_plan.dtd"
 
 let icon_file = paparazzi_home // "data/pictures/penguin_icon.png"
+
+let gconf_file = paparazzi_home // "conf" // "%gconf.xml"
diff --git a/sw/lib/ocaml/env.mli b/sw/lib/ocaml/env.mli
index cfaff9f720..811c36a8e6 100644
--- a/sw/lib/ocaml/env.mli
+++ b/sw/lib/ocaml/env.mli
@@ -34,3 +34,7 @@ val flight_plans_path : string
 val flight_plan_dtd : string
 
 val icon_file : string
+(** PNG paparazzi logo icon (48 x 48, 8-bit/color RGBA, non-interlaced) *)
+
+val gconf_file : string
+(** XML preferences file à la gconf *)