diff --git a/etc/coq-scripts b/etc/coq-scripts
index d3dc8880ae..7b54b75605 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit d3dc8880aeef4755e93dac250ab9cc3184b80c13
+Subproject commit 7b54b756050f1c1237a8b89bb62ae06f6567e712