--- ./scripts/coqmktop.ml.orig	2011-11-06 04:59:10.000000000 -0700
+++ ./scripts/coqmktop.ml	2012-06-13 17:18:45.386268250 -0600
@@ -33,7 +33,7 @@ let ide       = split_list Tolink.ide
 (* 3. Toplevel objects *)
 let camlp4topobjs =
   if Coq_config.camlp4 = "camlp5" then
-    ["camlp5_top.cma"; "pa_o.cmo"; "pa_extend.cmo"]
+    ["camlp5_top.cma"; "camlp5o.cma"; "pa_o.cmo"; "pa_extend.cmo"]
   else
     ["camlp4_top.cma"; "pa_o.cmo"; "pa_op.cmo"; "pa_extend.cmo"]
 let topobjs = camlp4topobjs