--- mozilla/configure.orig	2014-04-24 18:27:27.000000000 +0200
+++ mozilla/configure	2014-05-11 15:43:20.989605097 +0200
@@ -1091,9 +1091,6 @@
 files = [
 EOF
 
-for out in ; do
-  echo "    '$out'," >> $CONFIG_STATUS
-done
 
 cat >> $CONFIG_STATUS <<\EOF
 ]