fix script

scripts/fix-patchnames.pl

@@ -50,6 +50,7 @@ while (<>) {
                 print STDERR "cannot determine new filename for $oldname\n";
                 print "# cannot determine new filename for $oldname\n";
                 print $_;
+                close PATCH;
             }
         }
     }