>>>>> "rms" == Richard Stallman <rms@gnu.org> writes: rms> Is it necessary for them all to have the same name? rms> Could you rename these files to 20 different names? Yes, I could. And that would work around this problem. However, I dislike having to change my program because of bugs in the tools. Tom