$badname=join ("__",map {lc substr ($_,0,8)} split /:+/); # dosify
$perlmain =~ s/^.*boot_$badname.*$//gm if $badname; # delete bad lines
-@exts=split (" ",$Config{known_extensions});
-for $realname (@exts,'DynaLoader')
+@exts=('DynaLoader',split (" ",$Config{known_extensions}));
+for $realname (@exts)
{
- $dosname=substr (lc $realname,0,8);
+ $dosname=join ("__",map {lc substr ($_,0,8)} split /\//,$realname);
+ $realname =~ s!/!__!g;
$perlmain =~ s/\bboot_$dosname/boot_$realname/gm;
$perlmain =~ s/\b$dosname(::bootstrap)/$realname$1/gm;
}