Case insensitive filenames on Windows (fixes #20)