diff --git a/sw/ground_segment/cockpit/Makefile b/sw/ground_segment/cockpit/Makefile
index c6a1c08209..b56a719689 100644
--- a/sw/ground_segment/cockpit/Makefile
+++ b/sw/ground_segment/cockpit/Makefile
@@ -62,6 +62,9 @@ $(MAIN).opt : $(CMX)
 	@echo OOC $<
 	$(Q)$(OCAMLOPT) $(OCAMLCFLAGS) $(INCLUDES) -c $<
 
+saveSettings.cmo : gtk_save_settings.cmo
+saveSettings.cmx: gtk_save_settings.cmx
+
 gtk_strip.ml : gcs.glade
 	lablgladecc2 -root eventbox_strip -hide-default $< | grep -B 1000000 "  end" > $@