diff -ur ocaml-3.12.1/tools/Makefile.shared ocaml-3.12.1.new/tools/Makefile.shared
--- ocaml-3.12.1/tools/Makefile.shared	2011-12-19 17:28:06.000000000 +0400
+++ ocaml-3.12.1.new/tools/Makefile.shared	2011-12-19 17:50:34.881921779 +0400
@@ -240,6 +240,10 @@
 clean::
 	rm -f objinfo objinfo_helper$(EXE)
 
+
+reqprov: reqprov.cmo
+	$(CAMLC) $(LINKFLAGS) -o reqprov config.cmo bytesections.cmo reqprov.cmo
+
 # Scan object files for required primitives
 
 PRIMREQ=primreq.cmo