Index: tools/mkarray.py
===================================================================
--- tools/mkarray.py	(revision 476ac3bc8335cf0648fe97908977f18f66363c2e)
+++ tools/mkarray.py	(revision d0cbfd394fe9314c00a4d50969d60a32db04ac8a)
@@ -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]