Exclude unused gecode projects from the build