in reply to [Windows] Given lower-cased file name, how to get actual file name (stored on filesystem) ?