diff --git a/etc/coq-scripts b/etc/coq-scripts
index 3711598a1..153ac32c3 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit 3711598a194c6849900e792f72bee5987c7b7871
+Subproject commit 153ac32c3cc7007089c8580a4d5eff989ef55fc1