Index: build/scons-tools/Distribute.py
===================================================================
--- build/scons-tools/Distribute.py	(revision 2122)
+++ build/scons-tools/Distribute.py	(working copy)
@@ -17,7 +17,7 @@
 	tmpdir=tempfile.mkdtemp(prefix='widelands-dist.')
 	tarbz2file=tarfile.open(str(target[0])+'.tar.bz2','w:bz2')
 
-	for (name, compress) in set(env['DISTFILES']):  #the set is there to ensure uniqueness
+	for (name, compress) in env['DISTFILES']:
 		if compress:
 			head,tail=os.path.split(name)
 			try:
@@ -64,7 +64,7 @@
 def doinst(target, source, env):
 	tmpdir=tempfile.mkdtemp(prefix='widelands-inst.')
 
-	for (name, location, compress, filetype) in set(env['INSTFILES']):  #the set is there to ensure uniqueness
+	for (name, location, compress, filetype) in env['INSTFILES']:
 		if compress:
 			head,tail=os.path.split(name)
 			try:
Index: maps/SConscript
===================================================================
--- maps/SConscript	(revision 2122)
+++ maps/SConscript	(working copy)
@@ -2,7 +2,7 @@
 from Distribute import *
 import glob
 
-instadd(env, 'maps/*.wmf', 'maps', True)
+instadd(env, 'maps/*.wmf', 'maps')
 
 distadd(env, 'maps/SConscript')
-distadd(env, 'maps/*.wmf', True)
+distadd(env, 'maps/*.wmf')
Index: worlds/SConscript
===================================================================
--- worlds/SConscript	(revision 2122)
+++ worlds/SConscript	(working copy)
@@ -2,6 +2,6 @@
 
 from Distribute import distadd, instadd
 
-instadd(env, 'worlds/*', 'worlds', True)
+instadd(env, 'worlds/*', 'worlds')
 
 distadd(env, 'worlds/*')

--- ./campaigns/SConscript.diff	2007-02-19 20:33:47.000000000 +0100
+++ ./campaigns/SConscript	2007-04-27 13:39:43.000000000 +0200
@@ -2,7 +2,7 @@
 
 from Distribute import distadd, instadd
 
-instadd(env, 'campaigns/*.wmf', 'campaigns', True)
+instadd(env, 'campaigns/*.wmf', 'campaigns')
 
 distadd(env, 'campaigns/SConscript')
-distadd(env, 'campaigns/*.wmf', True)
+distadd(env, 'campaigns/*.wmf')