code: def convert_windows_path_to_cygwin(path):
      
      if len(path) > 2 and path[1] == ":" and path[2] == "\\":
          newpath = cygwin_full_path_prefix + "/" + path[0]
          if len(path) > 3: newpath += "/" + path[3:]
          path = newpath
      path = path.replace("\\", "/")
      return path
docs: Convert a Windows path to a Cygwin path.  Just handles the basic case.