--- cil-1.7.3/myocamlbuild.ml.orig	2015-07-20 12:56:57.224597528 +0100
+++ cil-1.7.3/myocamlbuild.ml	2015-07-20 12:57:04.742605963 +0100
@@ -8,7 +8,7 @@
   let dirs = include_dirs_of (dirname mllib) in
   let modules = string_list_of_file mllib in
   let make_candidates m =
-    List.map (expand_module dirs m) [["cmi"]; ["cmx"]; ["mli"; "inferred.mli"]] in
+    List.map (expand_module dirs m) [["cmi"]; ["cmo"]; ["mli"; "inferred.mli"]] in
   let dependencies = List.flatten (List.map make_candidates modules) in
   let build_result = builder dependencies in
   let built_files = List.filter_opt