diff --git a/etc/coq-scripts b/etc/coq-scripts
index 0ca86bb99..d85c1497e 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit 0ca86bb9968a9da7515cabe6e146d6ebf00ab2f3
+Subproject commit d85c1497e1d864b24f9503fe157418a084edfc05