diff --git a/etc/coq-scripts b/etc/coq-scripts
index 5876e80a10..fb70f50afa 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit 5876e80a10b459148ea49b848af3fb1b9507a7e6
+Subproject commit fb70f50afa756d64a800ce72aaaa071afa0dc14d