diff --git a/src/gismo/config b/src/gismo/config
index 83fd51a..2d25643 160000
--- a/src/gismo/config
+++ b/src/gismo/config
@@ -1 +1 @@
-Subproject commit 83fd51adff8a99af2ef3456542901ec78d4e1946
+Subproject commit 2d25643aa1f0d2ec55f88b7b8f54be77f596dd5f