diff --git a/ocaml-dockerfile b/ocaml-dockerfile
index 4ccee737..617dbf75 160000
--- a/ocaml-dockerfile
+++ b/ocaml-dockerfile
@@ -1 +1 @@
-Subproject commit 4ccee737ae868d21ca66638db63b285309725edb
+Subproject commit 617dbf75e53331a6e04e7e8c000c5cfcb5ea2c07