Index: tools/mkarray.py
===================================================================
--- tools/mkarray.py	(revision bc6cdc420ee3247a39e14fcfb229d0ccfaa1e539)
+++ tools/mkarray.py	(revision 375211d28fc7a4d4021c4ee78a966d1b369b562f)
@@ -81,5 +81,5 @@
 	archive = zipfile.ZipFile("%s.zip" % dest, "w", zipfile.ZIP_STORED)
 	
-	for src in sorted(sys.argv[5:]):
+	for src in sys.argv[5:]:
 		basename = os.path.basename(src)
 		plainname = os.path.splitext(basename)[0]