Fixing libgecode dep-selector nonsense