diff --git a/sw/ground_segment/tmtc/Makefile b/sw/ground_segment/tmtc/Makefile
index 910d728f83..fd1f52f26d 100644
--- a/sw/ground_segment/tmtc/Makefile
+++ b/sw/ground_segment/tmtc/Makefile
@@ -45,7 +45,7 @@ receive : modem.cmo receive.ml
 	chmod a+x $@
 
 listen.opt : listen.ml
-	$(OCAMLOPT) $(INCLUDES) -o $@ str.cmxa unix.cmxa xml-light.cmxa glibivy-ocaml.cmxa -I +lablgtk2 lablgtk.cmxa lib.cmxa $^
+	$(OCAMLOPT) $(INCLUDES) -o $@ str.cmxa unix.cmxa xml-light.cmxa glibivy-ocaml.cmxa -I +lablgtk2 lablgtk.cmxa lib-pprz.cmxa $^
 	strip $@
 
 
diff --git a/sw/lib/ocaml/Makefile b/sw/lib/ocaml/Makefile
index d6bda7a113..f59929b845 100644
--- a/sw/lib/ocaml/Makefile
+++ b/sw/lib/ocaml/Makefile
@@ -34,7 +34,7 @@ XCMO = $(XSRC:.ml=.cmo)
 XCMX = $(XSRC:.ml=.cmx)
 
 
-all : lib-pprz.cma xlib-pprz.cma xml_get.out
+all : lib-pprz.cma xlib-pprz.cma xml_get.out lib-pprz.cmxa
 # lib-pprz.cmxa xlib-pprz.cmxa