[horde] gollem dirs act strange

[Frank Lienhard]

Hi List,

I have on my server a horde (groupware without webmail) installed via pear.
I added gollem to share files with others.
One of the users told me that last night the dir share/<username> was
missing.
And next day it was there but with a capital letter like share/<Username>
I configured gollem to use part of the real filesystem as storage and on
the server (cli) I can see that there are in fact now 2 dirs.

How do I now diagnose what happened there?