Exclude unused Gecode targets from the build