Fix version for dep-selector-libgecode