diff -ur cil-1.3.7.orig/Makefile.in cil-1.3.7/Makefile.in
--- cil-1.3.7.orig/Makefile.in	2009-04-24 19:50:33.000000000 +0100
+++ cil-1.3.7/Makefile.in	2009-05-26 15:46:02.932947721 +0100
@@ -287,7 +287,9 @@
 ifeq ($(NATIVECAML),1)
 $(OBJDIR)/libcil.o: $(OCAML_CIL_LIB_CMODULES:%=$(OBJDIR)/lib%.a) \
                     $(OCAML_CIL_LIB_MODULES:%=$(OBJDIR)/%.$(CMO))
-	ocamlopt -output-obj -o $@ $(CILLY_LIBS:%=%.cmxa) $^
+	ocamlopt -output-obj -o tmpcil.o $(CILLY_LIBS:%=%.cmxa) $^
+	ar rcs $@ tmpcil.o
+	rm -f tmpcil.o
 else
 $(OBJDIR)/libcil.o:
 	@echo "Can only build $@ when NATIVECAML is 1."