--- a/dtdinstaller/bin/dtd_installer.pl	Fri Feb 19 22:43:13 2010 +0200
+++ b/dtdinstaller/bin/dtd_installer.pl	Fri Mar 12 15:42:04 2010 +0200
@@ -326,7 +326,7 @@
 		    	if ((lc $2) eq "sources") {
 		    		$out_file = "${out_path}\\$3";
 		    	} else {
-		    		if (length($temp) > 4) { #skip extra files
+		    		if (length($temp) > 5) { #skip extra files
 		    			next;
 		    		}
             while (length($temp) < 4){ $temp = "0".$temp; }