--- 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");