let distro_re = Str.regexp "^\\([^=/]*\\)*/[ \t]*\\(.*\\)$"