diff --git a/etc/coq-scripts b/etc/coq-scripts
index 5876e80a1..857071ded 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit 5876e80a10b459148ea49b848af3fb1b9507a7e6
+Subproject commit 857071dedd44faf5a2de9c846d7486f4ca2f677a