let parse_pref_package (_,s) =
  if Str.string_match general_re s 0 then Pref.Star
  else Pref.Package (Packages.parse_name (Format822.dummy_loc,s))