Re: jigdo distribution