diff --git a/perf/perf.c b/perf/coq_perf.c
similarity index 100%
rename from perf/perf.c
rename to perf/coq_perf.c
diff --git a/perf/dune b/perf/dune
index 54b9c6ec93a9..cf1de66bc855 100644
--- a/perf/dune
+++ b/perf/dune
@@ -3,5 +3,5 @@
  (synopsis "Instruction count using Linux perf.")
  (public_name coq-core.perf)
  (wrapped false)
- (foreign_stubs (language c) (names perf))
+ (foreign_stubs (language c) (names coq_perf))
  (enabled_if (= %{system} linux)))