diff --git a/etc/coq-scripts b/etc/coq-scripts
index 7b54b7560..5876e80a1 160000
--- a/etc/coq-scripts
+++ b/etc/coq-scripts
@@ -1 +1 @@
-Subproject commit 7b54b756050f1c1237a8b89bb62ae06f6567e712
+Subproject commit 5876e80a10b459148ea49b848af3fb1b9507a7e6