diff --git a/src/gismo/config b/src/gismo/config
index 35473ff..83fd51a 160000
--- a/src/gismo/config
+++ b/src/gismo/config
@@ -1 +1 @@
-Subproject commit 35473ff33eb69349f5f4f5b44d1d50983a3adc2b
+Subproject commit 83fd51adff8a99af2ef3456542901ec78d4e1946