diff --git a/apps/coercion/Makefile.coq.local b/apps/coercion/Makefile.coq.local
index f120308b2..48a27448d 100644
--- a/apps/coercion/Makefile.coq.local
+++ b/apps/coercion/Makefile.coq.local
@@ -1,3 +1,10 @@
 CAMLPKGS+= -package coq-elpi.elpi
-OCAMLPATH:=../../src/:$(OCAMLPATH)
+
+ifeq "$(shell which cygpath >/dev/null 2>&1)"
+OCAMLFINDSEP=;
+else
+OCAMLFINDSEP=:
+endfi
+
+OCAMLPATH:=../../src/$(OCAMLFINDSEP)$(OCAMLPATH)
 export OCAMLPATH
\ No newline at end of file