--- gecode-4.0.0/Makefile.in.orig 2013-06-15 17:52:32.996108131 -0400
+++ gecode-4.0.0/Makefile.in 2013-06-15 17:53:04.100637606 -0400
@@ -953,8 +953,7 @@
ALLGECODEHDR = \
$(SUPPORTHDR) $(KERNELHDR) $(SEARCHHDR) \
$(INTHDR) $(FLOATHDR) $(SETHDR) $(MMHDR) \
- $(DRIVERHDR) $(ITERHDR) $(GISTHDR) $(FLATZINCHDR) \
- $(INTEXAMPLEHDR)
+ $(DRIVERHDR) $(ITERHDR) $(GISTHDR) $(FLATZINCHDR)
ALLHDR = \
$(ALLGECODEHDR) $(THIRDHDR)
ALLOBJ0 = $(ALLSRC:%.cpp=%$(OBJSUFFIX)) \