diff --git a/clone-flexdll b/clone-flexdll
index 97958e24076c..7b5583c28d34 100644
--- a/clone-flexdll
+++ b/clone-flexdll
@@ -8,6 +8,6 @@ if [ -d "flexdll" ] && [ -f "flexdll/flexdll.c" ]; then
     echo "[Flexdll] Already present, no need to clone."
 else
     echo "[Flexdll] Cloning..."
-    git clone https://github.com/alainfrisch/flexdll --branch 0.39
+    git clone https://github.com/ocaml/flexdll --branch 0.42
     echo "[Flexdll] Clone successful!"
 fi
diff --git a/flexdll b/flexdll
index f624a8a94867..ab8fbd41075d 160000
--- a/flexdll
+++ b/flexdll
@@ -1 +1 @@
-Subproject commit f624a8a94867f616715bf95764466959bbc67a28
+Subproject commit ab8fbd41075d6fbbf74ce4c845cbea5a218b53fa