diff --git a/src/gismo/config b/src/gismo/config
index 777df2f..2cced54 160000
--- a/src/gismo/config
+++ b/src/gismo/config
@@ -1 +1 @@
-Subproject commit 777df2f857760d70bfb9e3c14b161389238d0e51
+Subproject commit 2cced546c168c2d60951c565ef5d6148f7b1472a