diff --git a/ChangeLog b/ChangeLog
index 4e483cb70..fecd1c88f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2010-01-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* bench/split-product/Makefile.am (nodist_noinst_DATA): Do not
+	depend on files that cannot be built.
+
 2010-01-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Replace spot::ltl_file by a rewritten spot::ltl::ltl_file.
diff --git a/bench/split-product/Makefile.am b/bench/split-product/Makefile.am
index fdfbdae11..57fc1eb68 100644
--- a/bench/split-product/Makefile.am
+++ b/bench/split-product/Makefile.am
@@ -1,4 +1,4 @@
-## Copyright (C) 2009 Laboratoire de Recherche et DĂ©veloppement
+## Copyright (C) 2009, 2010 Laboratoire de Recherche et Développement
 ## de l'Epita (LRDE).
 ##
 ## This file is part of Spot, a model checking library.
@@ -37,12 +37,8 @@ cutscc_SOURCES = cutscc.cc
 nodist_noinst_DATA = \
   models/cl3serv1.tgba \
   models/cl3serv1R.tgba \
-  models/cl3serv1fair.tgba \
-  models/cl3serv1Rfair.tgba \
   models/cl3serv3.tgba \
   models/cl3serv3R.tgba \
-  models/cl3serv3fair.tgba \
-  models/cl3serv3Rfair.tgba \
   models/eeaean1.tgba \
   models/eeaean1R.tgba \
   models/eeaean2.tgba \
@@ -151,4 +147,4 @@ bench: 	$(noinst_PROGRAMS)
 	./cutscc models/mobile2.ltl 4 models/mobile2.tgba > $(RES)/mobile2
 	./cutscc models/mobile2.ltl 4 models/mobile2R.tgba > $(RES)/mobile2R
 	./cutscc models/zune.ltl 4 models/zune.tgba > $(RES)/zune
-	./cutscc models/zune.ltl 4 models/zuneR.tgba > $(RES)/zuneR
\ No newline at end of file
+	./cutscc models/zune.ltl 4 models/zuneR.tgba > $(RES)/zuneR