diff --git a/etc/coq-scripts b/etc/coq-scripts
index 2df5dbe5c2d..d3dc8880aee 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit 2df5dbe5c2d5381e8b5dd1fce6234672a3dc0686
+Subproject commit d3dc8880aeef4755e93dac250ab9cc3184b80c13