--- a/common/tools/zip_includefiles.pl	Wed Jun 03 11:21:24 2009 +0100
+++ b/common/tools/zip_includefiles.pl	Wed Jun 03 11:26:23 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