--- contrib/micromega/coq_micromega.ml	2009-01-05 09:01:04.000000000 -0500

+++ contrib/micromega/coq_micromega.ml	2009-04-08 12:52:49.000000000 -0400

@@ -1192,9 +1192,7 @@

   let tmp_from = Filename.temp_file "csdpcert" ".out" in

   output_value ch_to (provername,poly : provername * micromega_polys);

   close_out ch_to;

-  let cmdname =

-    List.fold_left Filename.concat (Envars.coqlib ())

-      ["contrib"; "micromega"; "csdpcert" ^ Coq_config.exec_extension] in

+  let cmdname = "csdpcert" in

   let c = Sys.command (cmdname ^" "^ tmp_to ^" "^ tmp_from) in

   (try Sys.remove tmp_to with _ -> ());

   if c <> 0 then Util.error ("Failed to call csdp certificate generator");