There is a program from the net called rmgarbage which does renaming
of bad filenames. I am going to check to see if it knows / as bad, but
it fixes control and 8th bit characters.
--
bill davidsen (wedu at ge-crd.arpa)
{uunet | philabs | seismo}!steinmetz!crdos1!davidsen
"Stupidity, like virtue, is its own reward" -me