diff --git a/src/Fix.ml b/src/Fix.ml
new file mode 100644
index 0000000000000000000000000000000000000000..3c13be639086e5f9e079c1f726bdf345c4a5718e
--- /dev/null
+++ b/src/Fix.ml
@@ -0,0 +1,9 @@
+(* The library fix has been renamed vendored_fix so as to prevent Dune
+   from complaining about a conflict with a copy of fix that might be
+   installed on the user's system. *)
+
+(* As a result, the library is now accessible under the name Vendored_fix.
+   Because we do not want to pollute our sources with this name, we define the
+   module Fix as an alias for Vendored_fix. *)
+
+include Vendored_fix
diff --git a/src/dune b/src/dune
index 90a5a6cc3def11b034915cb5828e6439c8dd4064..ec8d77d3b6f83eef258c76ee33c168644a7ba4d6 100644
--- a/src/dune
+++ b/src/dune
@@ -1,7 +1,7 @@
 (library
-  (name feat)
-  (public_name feat)
+  (name vendored_feat)
+  (public_name vendored_feat)
   (synopsis "Facilities for enumerating and sampling algebraic data types")
   (flags "-w" "A-44")
-  (libraries seq zarith fix)
+  (libraries seq zarith vendored_fix)
 )
diff --git a/feat.opam b/vendored_feat.opam
similarity index 95%
rename from feat.opam
rename to vendored_feat.opam
index dbec49e0e38f328028448485f6c0e745726f8cc9..dacf82860cf8253ceae6f8937e5a392908c20bd1 100644
--- a/feat.opam
+++ b/vendored_feat.opam
@@ -1,4 +1,4 @@
-name: "feat"
+name: "vendored_feat"
 opam-version: "2.0"
 maintainer: "francois.pottier@inria.fr"
 authors: [