Use github releases for distribution