--- a/common/tools/zip_includefiles.pl	Thu May 28 15:55:27 2009 +0100
+++ b/common/tools/zip_includefiles.pl	Thu May 28 16:01:09 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