diff --git a/etc/coq-scripts b/etc/coq-scripts
index bd89a4da38..d0b8e808e0 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit bd89a4da38cc58cbbe56fd8696cd7c633d72d8cc
+Subproject commit d0b8e808e0382d791eb6c0a2d9d751300a2d2057