Fix a warning
Fix config if gecode is disabled