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