Do not use the official distfile, there is no official permission yet.

Suggest a second official download site.