Haiku pre-release version component separator changed

Plus a simplification in repo_haiku and a leak fix in selection_filter().