diff -r 483f966c6335 -r 9765c33f29a5 common/tools/zip_includefiles.pl
--- a/common/tools/zip_includefiles.pl	Fri May 29 08:07:21 2009 +0100
+++ b/common/tools/zip_includefiles.pl	Fri May 29 08:10:47 2009 +0100
@@ -8,6 +8,6 @@
     my $includefilename=$_;
 	if (m/(.*)(_includefile.txt)/) {
 		my $zipfilename = $1.".zip";
-		system("7z a -tzip -i@".$includefilename . " " .$zipfilename);
+		system("7za a -tzip -i@".$includefilename . " " .$zipfilename);
 	}
 }
\ No newline at end of file