diff --git a/etc/coq-scripts b/etc/coq-scripts
index d3dc8880..5876e80a 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit d3dc8880aeef4755e93dac250ab9cc3184b80c13
+Subproject commit 5876e80a10b459148ea49b848af3fb1b9507a7e6