True case-sensitive filenames

[Gerald S. Williams]

I wrote:
> This solution does not work for directories, although
> I think you can do the same thing with junctions.

Actually, this doesn't work (or if it is, it isn't as
straightforward as I thought). I thought I had tried
it once, but the following didn't work (using JUNCTION
from sysinternals.com):

   $ mkdir foo
   $ junction bar foo
   $ rmdir foo  # rm foo doesn't work either

There are other things to try, though.

-Jerry