Special case PathTools in corelist.pl too

diff --git a/Porting/corelist.pl b/Porting/corelist.pl
index 65b8a6c..74003d3 100755 (executable)
--- a/Porting/corelist.pl
+++ b/Porting/corelist.pl
@@ -114,6 +114,7 @@ find(
             $module =~ s{^B/O}{O},
             $module =~ s{^Devel-PPPort}{Devel},
             $module =~ s{^libnet/}{},
+            $module =~ s{^PathTools/}{},
             $module =~ s{^Encode/encoding}{encoding},
             $module =~ s{^IPC-SysV/}{IPC/},
             $module =~ s{^MIME-Base64/QuotedPrint}{MIME/QuotedPrint},