Adapt to Windows working with case-insensitive filenames