diff --git a/Makefile.ac b/Makefile.ac
index 22b883e59b..cdd479e849 100644
--- a/Makefile.ac
+++ b/Makefile.ac
@@ -155,7 +155,7 @@ $(SETTINGS_TELEMETRY) : $(PERIODIC_H)
 %.upload: %.compile
 	cd $(AIRBORNE); $(MAKE) TARGET=$* upload
 
-jsbsim jsbsim.compile: jsbsim.ac_h
+jsbsim jsbsim.compile: jsbsim.ac_h print_version
 	cd $(AIRBORNE); $(MAKE) TARGET=jsbsim ARCHI=jsbsim ARCH=jsbsim all
 
 sim sim.compile: sim.ac_h print_version
diff --git a/conf/airframes/examples/microjet_lisa_m.xml b/conf/airframes/examples/microjet_lisa_m.xml
index 202fe5d999..6ed7c1bed7 100644
--- a/conf/airframes/examples/microjet_lisa_m.xml
+++ b/conf/airframes/examples/microjet_lisa_m.xml
@@ -20,9 +20,6 @@
     <define name="LOITER_TRIM"/>
     <define name="STRONG_WIND"/>
 
-    <!-- print config info at compile time -->
-    <define name="PRINT_CONFIG"/>
-
     <subsystem name="radio_control" type="ppm"/>
 
     <!-- Communication -->
diff --git a/conf/airframes/examples/microjet_twog_aspirin.xml b/conf/airframes/examples/microjet_twog_aspirin.xml
index 8160835491..c777bc0f44 100644
--- a/conf/airframes/examples/microjet_twog_aspirin.xml
+++ b/conf/airframes/examples/microjet_twog_aspirin.xml
@@ -26,9 +26,6 @@
 
     <define name="AHRS_TRIGGERED_ATTITUDE_LOOP"/>
 
-    <!-- print configuration options at compile time -->
-    <define name="PRINT_CONFIG"/>
-
     <subsystem name="imu"    type="aspirin_v1.5"/>
     <subsystem name="ahrs"   type="float_dcm"/>
     <subsystem name="ins"    type="alt_float"/>
diff --git a/conf/airframes/fraser_lisa_m_rotorcraft.xml b/conf/airframes/fraser_lisa_m_rotorcraft.xml
index 4c8b7765d2..a232a41767 100644
--- a/conf/airframes/fraser_lisa_m_rotorcraft.xml
+++ b/conf/airframes/fraser_lisa_m_rotorcraft.xml
@@ -30,9 +30,6 @@
     </subsystem>
     <subsystem name="ins"/>
 
-    <!-- print the configuration during compiling -->
-    <define name="PRINT_CONFIG"/>
-
 	<define name="KILL_ON_GROUND_DETECT" value="TRUE"/>
   </firmware>
 
diff --git a/sw/airborne/Makefile b/sw/airborne/Makefile
index 0dd7b7f31c..dea5860293 100644
--- a/sw/airborne/Makefile
+++ b/sw/airborne/Makefile
@@ -45,6 +45,10 @@ ifneq ($(MAKECMDGOALS),clean)
     endif
   endif
 
+  ifdef PRINT_CONFIG
+    $(TARGET).CFLAGS += -DPRINT_CONFIG
+  endif
+
   # sort cflags and sources to throw out duplicates
   #
   #$(info CFLAGS_orig = $($(TARGET).CFLAGS))
diff --git a/sw/supervision/paparazzicenter.glade b/sw/supervision/paparazzicenter.glade
index cee69a6eb5..c59f210306 100644
--- a/sw/supervision/paparazzicenter.glade
+++ b/sw/supervision/paparazzicenter.glade
@@ -1,17 +1,20 @@
-<?xml version="1.0"?>
+<?xml version="1.0" encoding="UTF-8"?>
 <glade-interface>
-  <!-- interface-requires gtk+ 2.6 -->
+  <!-- interface-requires gtk+ 2.8 -->
   <!-- interface-naming-policy toplevel-contextual -->
   <widget class="GtkWindow" id="program">
     <property name="visible">True</property>
+    <property name="can_focus">False</property>
     <property name="title" translatable="yes">window1</property>
     <child>
       <widget class="GtkHBox" id="hbox_program">
         <property name="height_request">32</property>
         <property name="visible">True</property>
+        <property name="can_focus">False</property>
         <child>
           <widget class="GtkLabel" id="label_com_name">
             <property name="visible">True</property>
+            <property name="can_focus">False</property>
             <property name="label" translatable="yes">process name</property>
             <property name="width_chars">20</property>
           </widget>
@@ -25,9 +28,15 @@
           <widget class="GtkEntry" id="entry_program">
             <property name="visible">True</property>
             <property name="can_focus">True</property>
-            <property name="invisible_char">&#x25CF;</property>
+            <property name="invisible_char">●</property>
+            <property name="primary_icon_activatable">False</property>
+            <property name="secondary_icon_activatable">False</property>
+            <property name="primary_icon_sensitive">True</property>
+            <property name="secondary_icon_sensitive">True</property>
           </widget>
           <packing>
+            <property name="expand">True</property>
+            <property name="fill">True</property>
             <property name="position">1</property>
           </packing>
         </child>
@@ -37,6 +46,7 @@
             <property name="can_focus">True</property>
             <property name="receives_default">False</property>
             <property name="tooltip" translatable="yes">Automatic respawn</property>
+            <property name="use_action_appearance">False</property>
             <property name="draw_indicator">True</property>
             <child>
               <placeholder/>
@@ -55,6 +65,7 @@
             <property name="visible">True</property>
             <property name="can_focus">True</property>
             <property name="receives_default">False</property>
+            <property name="use_action_appearance">False</property>
             <property name="use_stock">True</property>
           </widget>
           <packing>
@@ -71,6 +82,7 @@
             <property name="sensitive">False</property>
             <property name="can_focus">True</property>
             <property name="receives_default">False</property>
+            <property name="use_action_appearance">False</property>
             <property name="use_stock">True</property>
           </widget>
           <packing>
@@ -84,24 +96,32 @@
   </widget>
   <widget class="GtkWindow" id="window">
     <property name="visible">True</property>
+    <property name="can_focus">False</property>
     <property name="title" translatable="yes">Paparazzi Center</property>
     <child>
       <widget class="GtkVBox" id="vbox22">
         <property name="visible">True</property>
+        <property name="can_focus">False</property>
         <child>
           <widget class="GtkMenuBar" id="menu">
             <property name="visible">True</property>
+            <property name="can_focus">False</property>
             <child>
               <widget class="GtkMenuItem" id="menuitem5">
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
+                <property name="use_action_appearance">False</property>
                 <property name="label" translatable="yes">_A/C</property>
                 <property name="use_underline">True</property>
                 <child>
                   <widget class="GtkMenu" id="menuitem5_menu">
+                    <property name="can_focus">False</property>
                     <child>
                       <widget class="GtkImageMenuItem" id="menu_item_new_ac">
                         <property name="label">gtk-new</property>
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_underline">True</property>
                         <property name="use_stock">True</property>
                         <signal name="activate" handler="on_menu_item_new_ac_activate"/>
@@ -112,6 +132,8 @@
                       <widget class="GtkImageMenuItem" id="delete_ac_menu_item">
                         <property name="label">gtk-delete</property>
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_underline">True</property>
                         <property name="use_stock">True</property>
                         <signal name="activate" handler="on_delete_a/c2_activate"/>
@@ -122,6 +144,8 @@
                       <widget class="GtkImageMenuItem" id="menu_item_save_ac">
                         <property name="label">gtk-save</property>
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_underline">True</property>
                         <property name="use_stock">True</property>
                         <signal name="activate" handler="on_save1_activate"/>
@@ -130,12 +154,15 @@
                     <child>
                       <widget class="GtkSeparatorMenuItem" id="separatormenuitem1">
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
                       </widget>
                     </child>
                     <child>
                       <widget class="GtkImageMenuItem" id="menu_item_quit">
                         <property name="label">gtk-quit</property>
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_underline">True</property>
                         <property name="use_stock">True</property>
                         <signal name="activate" handler="on_quit1_activate"/>
@@ -148,14 +175,19 @@
             <child>
               <widget class="GtkMenuItem" id="menu_item_session">
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
+                <property name="use_action_appearance">False</property>
                 <property name="label" translatable="yes">Session</property>
                 <property name="use_underline">True</property>
                 <child>
                   <widget class="GtkMenu" id="menu_item_session_menu">
+                    <property name="can_focus">False</property>
                     <child>
                       <widget class="GtkImageMenuItem" id="menu_item_new session">
                         <property name="label">gtk-new</property>
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_underline">True</property>
                         <property name="use_stock">True</property>
                         <signal name="activate" handler="on_menu_item_new session_activate"/>
@@ -165,6 +197,8 @@
                       <widget class="GtkImageMenuItem" id="menu_item_save_session">
                         <property name="label">gtk-save</property>
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_underline">True</property>
                         <property name="use_stock">True</property>
                         <signal name="activate" handler="on_menu_item_save_session_activate"/>
@@ -174,6 +208,8 @@
                       <widget class="GtkImageMenuItem" id="menu_item_delete_session">
                         <property name="label">gtk-delete</property>
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_underline">True</property>
                         <property name="use_stock">True</property>
                         <signal name="activate" handler="on_delete1_activate"/>
@@ -186,6 +222,8 @@
             <child>
               <widget class="GtkMenuItem" id="programs_menu_item">
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
+                <property name="use_action_appearance">False</property>
                 <property name="label" translatable="yes">_Tools</property>
                 <property name="use_underline">True</property>
                 <signal name="activate" handler="on_programs_menu_item_activate"/>
@@ -194,15 +232,20 @@
             <child>
               <widget class="GtkMenuItem" id="view1">
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
+                <property name="use_action_appearance">False</property>
                 <property name="label" translatable="yes">_View</property>
                 <property name="use_underline">True</property>
                 <signal name="activate" handler="on_view1_activate"/>
                 <child>
                   <widget class="GtkMenu" id="view1_menu">
+                    <property name="can_focus">False</property>
                     <child>
                       <widget class="GtkImageMenuItem" id="menu_item_fullscreen">
                         <property name="label">gtk-fullscreen</property>
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="use_underline">True</property>
                         <property name="use_stock">True</property>
                         <signal name="activate" handler="on_menu_item_fullscreen_activate"/>
@@ -216,13 +259,18 @@
             <child>
               <widget class="GtkMenuItem" id="menuitem8">
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
+                <property name="use_action_appearance">False</property>
                 <property name="label" translatable="yes">_Help</property>
                 <property name="use_underline">True</property>
                 <child>
                   <widget class="GtkMenu" id="menuitem8_menu">
+                    <property name="can_focus">False</property>
                     <child>
                       <widget class="GtkMenuItem" id="menu_item_about">
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
+                        <property name="use_action_appearance">False</property>
                         <property name="label" translatable="yes">_About</property>
                         <property name="use_underline">True</property>
                         <signal name="activate" handler="on_about2_activate"/>
@@ -248,20 +296,25 @@
                 <property name="width_request">250</property>
                 <property name="height_request">400</property>
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
                 <child>
                   <widget class="GtkHBox" id="hbox71">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <child>
                       <widget class="GtkFrame" id="frame21">
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
                         <property name="label_xalign">0</property>
                         <child>
                           <widget class="GtkAlignment" id="alignment65">
                             <property name="visible">True</property>
+                            <property name="can_focus">False</property>
                             <property name="left_padding">12</property>
                             <child>
                               <widget class="GtkVBox" id="vbox_ac">
                                 <property name="visible">True</property>
+                                <property name="can_focus">False</property>
                                 <child>
                                   <placeholder/>
                                 </child>
@@ -272,6 +325,7 @@
                         <child>
                           <widget class="GtkLabel" id="label106">
                             <property name="visible">True</property>
+                            <property name="can_focus">False</property>
                             <property name="label" translatable="yes">&lt;b&gt;A/C&lt;/b&gt;</property>
                             <property name="use_markup">True</property>
                           </widget>
@@ -281,16 +335,20 @@
                         </child>
                       </widget>
                       <packing>
+                        <property name="expand">True</property>
+                        <property name="fill">True</property>
                         <property name="position">0</property>
                       </packing>
                     </child>
                     <child>
                       <widget class="GtkFrame" id="frame22">
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
                         <property name="label_xalign">0</property>
                         <child>
                           <widget class="GtkAlignment" id="alignment66">
                             <property name="visible">True</property>
+                            <property name="can_focus">False</property>
                             <property name="left_padding">12</property>
                             <child>
                               <widget class="GtkEntry" id="entry_ac_id">
@@ -298,8 +356,12 @@
                                 <property name="can_focus">True</property>
                                 <property name="tooltip" translatable="yes">ID of the aircraft (number from 1 to 255)</property>
                                 <property name="max_length">3</property>
-                                <property name="invisible_char">&#x25CF;</property>
+                                <property name="invisible_char">●</property>
                                 <property name="width_chars">3</property>
+                                <property name="primary_icon_activatable">False</property>
+                                <property name="secondary_icon_activatable">False</property>
+                                <property name="primary_icon_sensitive">True</property>
+                                <property name="secondary_icon_sensitive">True</property>
                               </widget>
                             </child>
                           </widget>
@@ -307,6 +369,7 @@
                         <child>
                           <widget class="GtkLabel" id="label107">
                             <property name="visible">True</property>
+                            <property name="can_focus">False</property>
                             <property name="label" translatable="yes">&lt;b&gt;id&lt;/b&gt;</property>
                             <property name="use_markup">True</property>
                           </widget>
@@ -316,28 +379,36 @@
                         </child>
                       </widget>
                       <packing>
+                        <property name="expand">True</property>
+                        <property name="fill">True</property>
                         <property name="position">1</property>
                       </packing>
                     </child>
                     <child>
                       <widget class="GtkFrame" id="frame23">
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
                         <property name="label_xalign">0</property>
                         <child>
                           <widget class="GtkAlignment" id="alignment67">
                             <property name="visible">True</property>
+                            <property name="can_focus">False</property>
                             <property name="left_padding">12</property>
                             <child>
                               <widget class="GtkHBox" id="hbox69">
                                 <property name="visible">True</property>
+                                <property name="can_focus">False</property>
                                 <child>
                                   <widget class="GtkEventBox" id="eventbox_gui_color">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <child>
                                       <placeholder/>
                                     </child>
                                   </widget>
                                   <packing>
+                                    <property name="expand">True</property>
+                                    <property name="fill">True</property>
                                     <property name="position">0</property>
                                   </packing>
                                 </child>
@@ -348,6 +419,7 @@
                                     <property name="can_focus">True</property>
                                     <property name="receives_default">False</property>
                                     <property name="tooltip" translatable="yes">Color selector</property>
+                                    <property name="use_action_appearance">False</property>
                                     <property name="use_underline">True</property>
                                   </widget>
                                   <packing>
@@ -363,6 +435,7 @@
                         <child>
                           <widget class="GtkLabel" id="label108">
                             <property name="visible">True</property>
+                            <property name="can_focus">False</property>
                             <property name="label" translatable="yes">&lt;b&gt;GUI color&lt;/b&gt;</property>
                             <property name="use_markup">True</property>
                           </widget>
@@ -372,12 +445,15 @@
                         </child>
                       </widget>
                       <packing>
+                        <property name="expand">True</property>
+                        <property name="fill">True</property>
                         <property name="position">2</property>
                       </packing>
                     </child>
                   </widget>
                   <packing>
                     <property name="expand">False</property>
+                    <property name="fill">True</property>
                     <property name="position">0</property>
                   </packing>
                 </child>
@@ -391,27 +467,35 @@
                     <child>
                       <widget class="GtkViewport" id="viewport2">
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
                         <child>
                           <widget class="GtkVBox" id="vbox13">
                             <property name="visible">True</property>
+                            <property name="can_focus">False</property>
                             <child>
                               <widget class="GtkFrame" id="frame15">
                                 <property name="visible">True</property>
+                                <property name="can_focus">False</property>
                                 <property name="label_xalign">0</property>
                                 <child>
                                   <widget class="GtkAlignment" id="alignment54">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="left_padding">12</property>
                                     <child>
                                       <widget class="GtkHBox" id="hbox56">
                                         <property name="visible">True</property>
+                                        <property name="can_focus">False</property>
                                         <property name="spacing">2</property>
                                         <child>
                                           <widget class="GtkLabel" id="label_airframe">
                                             <property name="visible">True</property>
+                                            <property name="can_focus">False</property>
                                             <property name="label" translatable="yes">________________</property>
                                           </widget>
                                           <packing>
+                                            <property name="expand">True</property>
+                                            <property name="fill">True</property>
                                             <property name="position">0</property>
                                           </packing>
                                         </child>
@@ -422,6 +506,7 @@
                                             <property name="can_focus">True</property>
                                             <property name="receives_default">False</property>
                                             <property name="tooltip" translatable="yes">Browse</property>
+                                            <property name="use_action_appearance">False</property>
                                             <property name="use_underline">True</property>
                                           </widget>
                                           <packing>
@@ -437,6 +522,7 @@
                                             <property name="can_focus">True</property>
                                             <property name="receives_default">False</property>
                                             <property name="tooltip" translatable="yes">Launch the GCS editor or a text editor (gedit or EDITOR env variable if set)</property>
+                                            <property name="use_action_appearance">False</property>
                                             <property name="use_stock">True</property>
                                           </widget>
                                           <packing>
@@ -452,6 +538,7 @@
                                 <child>
                                   <widget class="GtkLabel" id="label90">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="label" translatable="yes">&lt;b&gt;Airframe&lt;/b&gt;</property>
                                     <property name="use_markup">True</property>
                                   </widget>
@@ -462,26 +549,33 @@
                               </widget>
                               <packing>
                                 <property name="expand">False</property>
+                                <property name="fill">True</property>
                                 <property name="position">0</property>
                               </packing>
                             </child>
                             <child>
                               <widget class="GtkFrame" id="frame16">
                                 <property name="visible">True</property>
+                                <property name="can_focus">False</property>
                                 <property name="label_xalign">0</property>
                                 <child>
                                   <widget class="GtkAlignment" id="alignment55">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="left_padding">12</property>
                                     <child>
                                       <widget class="GtkHBox" id="hbox57">
                                         <property name="visible">True</property>
+                                        <property name="can_focus">False</property>
                                         <child>
                                           <widget class="GtkLabel" id="label_flight_plan">
                                             <property name="visible">True</property>
+                                            <property name="can_focus">False</property>
                                             <property name="label" translatable="yes">_________________</property>
                                           </widget>
                                           <packing>
+                                            <property name="expand">True</property>
+                                            <property name="fill">True</property>
                                             <property name="position">0</property>
                                           </packing>
                                         </child>
@@ -491,6 +585,7 @@
                                             <property name="visible">True</property>
                                             <property name="can_focus">True</property>
                                             <property name="receives_default">False</property>
+                                            <property name="use_action_appearance">False</property>
                                             <property name="use_underline">True</property>
                                           </widget>
                                           <packing>
@@ -506,6 +601,7 @@
                                             <property name="can_focus">True</property>
                                             <property name="receives_default">False</property>
                                             <property name="tooltip" translatable="yes">Launch a text editor (gedit or EDITOR env variable if set)</property>
+                                            <property name="use_action_appearance">False</property>
                                             <property name="use_stock">True</property>
                                           </widget>
                                           <packing>
@@ -521,6 +617,7 @@
                                 <child>
                                   <widget class="GtkLabel" id="label92">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="label" translatable="yes">&lt;b&gt;Flight plan&lt;/b&gt;</property>
                                     <property name="use_markup">True</property>
                                   </widget>
@@ -531,20 +628,24 @@
                               </widget>
                               <packing>
                                 <property name="expand">False</property>
+                                <property name="fill">True</property>
                                 <property name="position">1</property>
                               </packing>
                             </child>
                             <child>
                               <widget class="GtkFrame" id="frame17">
                                 <property name="visible">True</property>
+                                <property name="can_focus">False</property>
                                 <property name="label_xalign">0</property>
                                 <child>
                                   <widget class="GtkAlignment" id="alignment56">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="left_padding">12</property>
                                     <child>
                                       <widget class="GtkHBox" id="hbox58">
                                         <property name="visible">True</property>
+                                        <property name="can_focus">False</property>
                                         <child>
                                           <widget class="GtkTreeView" id="tree_settings">
                                             <property name="height_request">4</property>
@@ -553,21 +654,26 @@
                                             <property name="headers_visible">False</property>
                                           </widget>
                                           <packing>
+                                            <property name="expand">True</property>
+                                            <property name="fill">True</property>
                                             <property name="position">0</property>
                                           </packing>
                                         </child>
                                         <child>
                                           <widget class="GtkVScrollbar" id="tree_settings_scrollbar">
                                             <property name="visible">True</property>
+                                            <property name="can_focus">False</property>
                                           </widget>
                                           <packing>
                                             <property name="expand">False</property>
+                                            <property name="fill">True</property>
                                             <property name="position">1</property>
                                           </packing>
                                         </child>
                                         <child>
                                           <widget class="GtkVBox" id="vbox1">
                                             <property name="visible">True</property>
+                                            <property name="can_focus">False</property>
                                             <child>
                                               <widget class="GtkButton" id="button_browse_settings">
                                                 <property name="label">gtk-add</property>
@@ -576,6 +682,7 @@
                                                 <property name="receives_default">True</property>
                                                 <property name="has_tooltip">True</property>
                                                 <property name="tooltip" translatable="yes">Add a settings file</property>
+                                                <property name="use_action_appearance">False</property>
                                                 <property name="use_underline">True</property>
                                                 <property name="use_stock">True</property>
                                               </widget>
@@ -593,6 +700,7 @@
                                                 <property name="receives_default">True</property>
                                                 <property name="has_tooltip">True</property>
                                                 <property name="tooltip" translatable="yes">Launch an editor on all the settings file</property>
+                                                <property name="use_action_appearance">False</property>
                                                 <property name="use_stock">True</property>
                                               </widget>
                                               <packing>
@@ -608,6 +716,7 @@
                                                 <property name="can_focus">True</property>
                                                 <property name="receives_default">True</property>
                                                 <property name="tooltip" translatable="yes">Remove the selected settings file</property>
+                                                <property name="use_action_appearance">False</property>
                                                 <property name="use_stock">True</property>
                                               </widget>
                                               <packing>
@@ -630,6 +739,7 @@
                                 <child>
                                   <widget class="GtkLabel" id="label94">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="label" translatable="yes">&lt;b&gt;Settings&lt;/b&gt;</property>
                                     <property name="use_markup">True</property>
                                   </widget>
@@ -640,26 +750,33 @@
                               </widget>
                               <packing>
                                 <property name="expand">False</property>
+                                <property name="fill">True</property>
                                 <property name="position">2</property>
                               </packing>
                             </child>
                             <child>
                               <widget class="GtkFrame" id="frame18">
                                 <property name="visible">True</property>
+                                <property name="can_focus">False</property>
                                 <property name="label_xalign">0</property>
                                 <child>
                                   <widget class="GtkAlignment" id="alignment57">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="left_padding">12</property>
                                     <child>
                                       <widget class="GtkHBox" id="hbox59">
                                         <property name="visible">True</property>
+                                        <property name="can_focus">False</property>
                                         <child>
                                           <widget class="GtkLabel" id="label_radio">
                                             <property name="visible">True</property>
+                                            <property name="can_focus">False</property>
                                             <property name="label" translatable="yes">_________________</property>
                                           </widget>
                                           <packing>
+                                            <property name="expand">True</property>
+                                            <property name="fill">True</property>
                                             <property name="position">0</property>
                                           </packing>
                                         </child>
@@ -669,6 +786,7 @@
                                             <property name="visible">True</property>
                                             <property name="can_focus">True</property>
                                             <property name="receives_default">False</property>
+                                            <property name="use_action_appearance">False</property>
                                             <property name="use_underline">True</property>
                                           </widget>
                                           <packing>
@@ -683,6 +801,7 @@
                                             <property name="visible">True</property>
                                             <property name="can_focus">True</property>
                                             <property name="receives_default">False</property>
+                                            <property name="use_action_appearance">False</property>
                                             <property name="use_stock">True</property>
                                           </widget>
                                           <packing>
@@ -698,6 +817,7 @@
                                 <child>
                                   <widget class="GtkLabel" id="label96">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="label" translatable="yes">&lt;b&gt;Radio&lt;/b&gt;</property>
                                     <property name="use_markup">True</property>
                                   </widget>
@@ -708,26 +828,33 @@
                               </widget>
                               <packing>
                                 <property name="expand">False</property>
+                                <property name="fill">True</property>
                                 <property name="position">3</property>
                               </packing>
                             </child>
                             <child>
                               <widget class="GtkFrame" id="frame19">
                                 <property name="visible">True</property>
+                                <property name="can_focus">False</property>
                                 <property name="label_xalign">0</property>
                                 <child>
                                   <widget class="GtkAlignment" id="alignment58">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="left_padding">12</property>
                                     <child>
                                       <widget class="GtkHBox" id="hbox60">
                                         <property name="visible">True</property>
+                                        <property name="can_focus">False</property>
                                         <child>
                                           <widget class="GtkLabel" id="label_telemetry">
                                             <property name="visible">True</property>
+                                            <property name="can_focus">False</property>
                                             <property name="label" translatable="yes">_________________</property>
                                           </widget>
                                           <packing>
+                                            <property name="expand">True</property>
+                                            <property name="fill">True</property>
                                             <property name="position">0</property>
                                           </packing>
                                         </child>
@@ -737,6 +864,7 @@
                                             <property name="visible">True</property>
                                             <property name="can_focus">True</property>
                                             <property name="receives_default">False</property>
+                                            <property name="use_action_appearance">False</property>
                                             <property name="use_underline">True</property>
                                           </widget>
                                           <packing>
@@ -751,6 +879,7 @@
                                             <property name="visible">True</property>
                                             <property name="can_focus">True</property>
                                             <property name="receives_default">False</property>
+                                            <property name="use_action_appearance">False</property>
                                             <property name="use_stock">True</property>
                                           </widget>
                                           <packing>
@@ -766,6 +895,7 @@
                                 <child>
                                   <widget class="GtkLabel" id="label98">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="label" translatable="yes">&lt;b&gt;Telemetry&lt;/b&gt;</property>
                                     <property name="use_markup">True</property>
                                   </widget>
@@ -776,6 +906,7 @@
                               </widget>
                               <packing>
                                 <property name="expand">False</property>
+                                <property name="fill">True</property>
                                 <property name="position">4</property>
                               </packing>
                             </child>
@@ -785,6 +916,8 @@
                     </child>
                   </widget>
                   <packing>
+                    <property name="expand">True</property>
+                    <property name="fill">True</property>
                     <property name="position">1</property>
                   </packing>
                 </child>
@@ -797,29 +930,35 @@
             <child>
               <widget class="GtkVBox" id="vbox21">
                 <property name="visible">True</property>
+                <property name="can_focus">False</property>
                 <child>
                   <widget class="GtkHBox" id="hbox72">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <property name="spacing">3</property>
                     <child>
                       <widget class="GtkVBox" id="vbox14">
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
                         <property name="border_width">1</property>
-                        <property name="homogeneous">True</property>
                         <child>
                           <widget class="GtkHBox" id="hbox61">
                             <property name="visible">True</property>
+                            <property name="can_focus">False</property>
                             <child>
                               <widget class="GtkFrame" id="frame20">
                                 <property name="visible">True</property>
+                                <property name="can_focus">False</property>
                                 <property name="label_xalign">0</property>
                                 <child>
                                   <widget class="GtkAlignment" id="alignment59">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="left_padding">12</property>
                                     <child>
                                       <widget class="GtkVBox" id="vbox_target">
                                         <property name="visible">True</property>
+                                        <property name="can_focus">False</property>
                                         <child>
                                           <placeholder/>
                                         </child>
@@ -830,6 +969,7 @@
                                 <child>
                                   <widget class="GtkLabel" id="label99">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="label" translatable="yes">&lt;b&gt;Target&lt;/b&gt;</property>
                                     <property name="use_markup">True</property>
                                   </widget>
@@ -839,6 +979,8 @@
                                 </child>
                               </widget>
                               <packing>
+                                <property name="expand">True</property>
+                                <property name="fill">True</property>
                                 <property name="position">0</property>
                               </packing>
                             </child>
@@ -848,18 +990,22 @@
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">False</property>
                                 <property name="tooltip" translatable="yes">Add a target in the combo list</property>
+                                <property name="use_action_appearance">False</property>
                                 <child>
                                   <widget class="GtkAlignment" id="alignment60">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="xscale">0</property>
                                     <property name="yscale">0</property>
                                     <child>
                                       <widget class="GtkHBox" id="hbox62">
                                         <property name="visible">True</property>
+                                        <property name="can_focus">False</property>
                                         <property name="spacing">2</property>
                                         <child>
                                           <widget class="GtkImage" id="image34">
                                             <property name="visible">True</property>
+                                            <property name="can_focus">False</property>
                                             <property name="stock">gtk-add</property>
                                           </widget>
                                           <packing>
@@ -871,6 +1017,7 @@
                                         <child>
                                           <widget class="GtkLabel" id="label100">
                                             <property name="visible">True</property>
+                                            <property name="can_focus">False</property>
                                             <property name="label" translatable="yes">New Target</property>
                                             <property name="use_underline">True</property>
                                           </widget>
@@ -901,24 +1048,29 @@
                         <child>
                           <widget class="GtkHBox" id="hbox63">
                             <property name="visible">True</property>
+                            <property name="can_focus">False</property>
                             <property name="homogeneous">True</property>
                             <child>
                               <widget class="GtkButton" id="button_clean">
                                 <property name="visible">True</property>
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">False</property>
+                                <property name="use_action_appearance">False</property>
                                 <child>
                                   <widget class="GtkAlignment" id="alignment61">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="xscale">0</property>
                                     <property name="yscale">0</property>
                                     <child>
                                       <widget class="GtkHBox" id="hbox64">
                                         <property name="visible">True</property>
+                                        <property name="can_focus">False</property>
                                         <property name="spacing">2</property>
                                         <child>
                                           <widget class="GtkImage" id="image35">
                                             <property name="visible">True</property>
+                                            <property name="can_focus">False</property>
                                             <property name="stock">gtk-clear</property>
                                           </widget>
                                           <packing>
@@ -930,6 +1082,7 @@
                                         <child>
                                           <widget class="GtkLabel" id="label101">
                                             <property name="visible">True</property>
+                                            <property name="can_focus">False</property>
                                             <property name="label" translatable="yes">Clean</property>
                                             <property name="use_underline">True</property>
                                           </widget>
@@ -957,18 +1110,22 @@
                                 <property name="can_default">True</property>
                                 <property name="receives_default">False</property>
                                 <property name="tooltip" translatable="yes">Build the selected target of the selected A/C. Warning: Save is required before this action</property>
+                                <property name="use_action_appearance">False</property>
                                 <child>
                                   <widget class="GtkAlignment" id="alignment62">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="xscale">0</property>
                                     <property name="yscale">0</property>
                                     <child>
                                       <widget class="GtkHBox" id="hbox65">
                                         <property name="visible">True</property>
+                                        <property name="can_focus">False</property>
                                         <property name="spacing">2</property>
                                         <child>
                                           <widget class="GtkImage" id="image36">
                                             <property name="visible">True</property>
+                                            <property name="can_focus">False</property>
                                             <property name="stock">gtk-convert</property>
                                           </widget>
                                           <packing>
@@ -980,6 +1137,7 @@
                                         <child>
                                           <widget class="GtkLabel" id="label102">
                                             <property name="visible">True</property>
+                                            <property name="can_focus">False</property>
                                             <property name="label" translatable="yes">Build</property>
                                             <property name="use_underline">True</property>
                                           </widget>
@@ -1007,18 +1165,22 @@
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">False</property>
                                 <property name="tooltip" translatable="yes">Upload into the airborne device (which must be plugged !).</property>
+                                <property name="use_action_appearance">False</property>
                                 <child>
                                   <widget class="GtkAlignment" id="alignment63">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="xscale">0</property>
                                     <property name="yscale">0</property>
                                     <child>
                                       <widget class="GtkHBox" id="hbox66">
                                         <property name="visible">True</property>
+                                        <property name="can_focus">False</property>
                                         <property name="spacing">2</property>
                                         <child>
                                           <widget class="GtkImage" id="image37">
                                             <property name="visible">True</property>
+                                            <property name="can_focus">False</property>
                                             <property name="stock">gtk-go-up</property>
                                           </widget>
                                           <packing>
@@ -1030,6 +1192,7 @@
                                         <child>
                                           <widget class="GtkLabel" id="label103">
                                             <property name="visible">True</property>
+                                            <property name="can_focus">False</property>
                                             <property name="label" translatable="yes">Upload</property>
                                             <property name="use_underline">True</property>
                                           </widget>
@@ -1057,39 +1220,64 @@
                             <property name="position">1</property>
                           </packing>
                         </child>
+                        <child>
+                          <widget class="GtkCheckButton" id="checkbutton_printconfig">
+                            <property name="label" translatable="yes">print config at build time</property>
+                            <property name="visible">True</property>
+                            <property name="can_focus">True</property>
+                            <property name="receives_default">False</property>
+                            <property name="tooltip" translatable="yes">Enable configuration messages at build time (PRINT_CONFIG).</property>
+                            <property name="use_action_appearance">False</property>
+                            <property name="draw_indicator">True</property>
+                          </widget>
+                          <packing>
+                            <property name="expand">True</property>
+                            <property name="fill">True</property>
+                            <property name="position">2</property>
+                          </packing>
+                        </child>
                       </widget>
                       <packing>
+                        <property name="expand">True</property>
+                        <property name="fill">True</property>
                         <property name="position">0</property>
                       </packing>
                     </child>
                     <child>
                       <widget class="GtkVSeparator" id="vseparator1">
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
                       </widget>
                       <packing>
                         <property name="expand">False</property>
+                        <property name="fill">True</property>
                         <property name="position">1</property>
                       </packing>
                     </child>
                     <child>
                       <widget class="GtkVBox" id="vbox17">
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
                         <property name="border_width">1</property>
                         <property name="homogeneous">True</property>
                         <child>
                           <widget class="GtkHBox" id="hbox73">
                             <property name="visible">True</property>
+                            <property name="can_focus">False</property>
                             <child>
                               <widget class="GtkFrame" id="Session">
                                 <property name="visible">True</property>
+                                <property name="can_focus">False</property>
                                 <property name="label_xalign">0</property>
                                 <child>
                                   <widget class="GtkAlignment" id="alignment68">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="left_padding">12</property>
                                     <child>
                                       <widget class="GtkVBox" id="vbox_session">
                                         <property name="visible">True</property>
+                                        <property name="can_focus">False</property>
                                         <child>
                                           <placeholder/>
                                         </child>
@@ -1100,6 +1288,7 @@
                                 <child>
                                   <widget class="GtkLabel" id="label109">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="label" translatable="yes">&lt;b&gt;Session&lt;/b&gt;</property>
                                     <property name="use_markup">True</property>
                                   </widget>
@@ -1109,6 +1298,8 @@
                                 </child>
                               </widget>
                               <packing>
+                                <property name="expand">True</property>
+                                <property name="fill">True</property>
                                 <property name="position">0</property>
                               </packing>
                             </child>
@@ -1118,6 +1309,7 @@
                                 <property name="visible">True</property>
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">False</property>
+                                <property name="use_action_appearance">False</property>
                                 <property name="use_stock">True</property>
                               </widget>
                               <packing>
@@ -1138,18 +1330,22 @@
                             <property name="visible">True</property>
                             <property name="can_focus">True</property>
                             <property name="receives_default">False</property>
+                            <property name="use_action_appearance">False</property>
                             <child>
                               <widget class="GtkAlignment" id="alignment64">
                                 <property name="visible">True</property>
+                                <property name="can_focus">False</property>
                                 <property name="xscale">0</property>
                                 <property name="yscale">0</property>
                                 <child>
                                   <widget class="GtkHBox" id="hbox67">
                                     <property name="visible">True</property>
+                                    <property name="can_focus">False</property>
                                     <property name="spacing">2</property>
                                     <child>
                                       <widget class="GtkImage" id="image38">
                                         <property name="visible">True</property>
+                                        <property name="can_focus">False</property>
                                         <property name="stock">gtk-clear</property>
                                       </widget>
                                       <packing>
@@ -1161,6 +1357,7 @@
                                     <child>
                                       <widget class="GtkLabel" id="label104">
                                         <property name="visible">True</property>
+                                        <property name="can_focus">False</property>
                                         <property name="label" translatable="yes">Stop/Remove All Processes</property>
                                         <property name="use_underline">True</property>
                                       </widget>
@@ -1183,33 +1380,40 @@
                         </child>
                       </widget>
                       <packing>
+                        <property name="expand">True</property>
+                        <property name="fill">True</property>
                         <property name="position">2</property>
                       </packing>
                     </child>
                     <child>
                       <widget class="GtkVSeparator" id="vseparator2">
                         <property name="visible">True</property>
+                        <property name="can_focus">False</property>
                       </widget>
                       <packing>
                         <property name="expand">False</property>
+                        <property name="fill">True</property>
                         <property name="position">3</property>
                       </packing>
                     </child>
                   </widget>
                   <packing>
                     <property name="expand">False</property>
+                    <property name="fill">True</property>
                     <property name="position">0</property>
                   </packing>
                 </child>
                 <child>
                   <widget class="GtkVBox" id="vbox_programs">
                     <property name="visible">True</property>
+                    <property name="can_focus">False</property>
                     <child>
                       <placeholder/>
                     </child>
                   </widget>
                   <packing>
                     <property name="expand">False</property>
+                    <property name="fill">True</property>
                     <property name="position">1</property>
                   </packing>
                 </child>
@@ -1225,6 +1429,8 @@
                     </child>
                   </widget>
                   <packing>
+                    <property name="expand">True</property>
+                    <property name="fill">True</property>
                     <property name="position">2</property>
                   </packing>
                 </child>
@@ -1236,12 +1442,15 @@
             </child>
           </widget>
           <packing>
+            <property name="expand">True</property>
+            <property name="fill">True</property>
             <property name="position">1</property>
           </packing>
         </child>
         <child>
           <widget class="GtkStatusbar" id="statusbar">
             <property name="visible">True</property>
+            <property name="can_focus">False</property>
           </widget>
           <packing>
             <property name="expand">False</property>
diff --git a/sw/supervision/pc_aircraft.ml b/sw/supervision/pc_aircraft.ml
index 6d715d9115..005945ab75 100644
--- a/sw/supervision/pc_aircraft.ml
+++ b/sw/supervision/pc_aircraft.ml
@@ -384,8 +384,11 @@ let build_handler = fun ~file gui ac_combo (target_combo:Gtk_tools.combo) (log:s
     try (
       let ac_name = Gtk_tools.combo_value ac_combo
       and target = Gtk_tools.combo_value target_combo in
-      let target = if target="sim" then target else sprintf "%s.compile" target in
-      Utils.command ~file gui log ac_name target
+      let target_cmd = if gui#checkbutton_printconfig#active then
+          sprintf "PRINT_CONFIG=1 %s.compile" target
+        else
+          sprintf "%s.compile" target in
+      Utils.command ~file gui log ac_name target_cmd
     ) with _ -> log "ERROR: Nothing to build!!!\n" in
     ignore (gui#button_build#connect#clicked ~callback);