> * not the same OS; original was created in Win 7, copied to linux server
So this might be related to OS-specific case sensitivity issues; I remember we had other users discussing this on the list. Maybe it would be consistent in the long term to treat all operating systems identically.
