diff --git a/configure b/configure
index 763822ec..aa83c3d0 100755
--- a/configure
+++ b/configure
@@ -223,6 +223,7 @@ fi
 
 echo-check ocamldir
 : ${OCAMLLIB:=$($OCAMLOPT -where)}
+OCAMLLIB=$(echo "$OCAMLLIB" | sed -e "s/\\\\/\//g")
 echo-ok $OCAMLLIB
 
 export OCAMLLIB