diff --git a/etc/coq-scripts b/etc/coq-scripts
index 857071dedd..e4d9e81ca4 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit 857071dedd44faf5a2de9c846d7486f4ca2f677a
+Subproject commit e4d9e81ca4ac1c29c5971bf33fd58bd7dc00d9b9