On 2012-3-20 05:42 , Jeremy Lavergne wrote: >> Well, you'd expect wrong. Those are the same directory. > > The filenames, however, are not the same. Which helps how?