fix for non-Windows servers

... on case-sensitive filesystems