gnu: Add gecode.