--- gecode-3.7.3/Makefile.in.orig	2012-05-19 17:37:45.640218480 -0400
+++ gecode-3.7.3/Makefile.in	2012-05-19 17:36:59.064237685 -0400
@@ -777,8 +777,7 @@
 ALLHDR = \
 	$(SUPPORTHDR) $(KERNELHDR) $(SEARCHHDR) \
         $(INTHDR) $(SETHDR) $(MMHDR) \
-	$(DRIVERHDR) $(ITERHDR) $(GISTHDR) $(FLATZINCHDR) \
-	$(INTEXAMPLEHDR)
+	$(DRIVERHDR) $(ITERHDR) $(GISTHDR) $(FLATZINCHDR) 
 ALLOBJ0 = $(ALLSRC:%.cpp=%$(OBJSUFFIX)) \
 	$(GISTMOCSRC:%.cpp=%$(OBJSUFFIX)) \
 	$(FLATZINC_GENSRC:%.cpp=%$(OBJSUFFIX))