--- 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)) \