We're aware it's down & sadly have no way to fix the issue as the guy who runs it is very very very busy. It's not ideal I know but you may have to manually build it. There's info in the forums on how to do that. We are working on other options & hope to have something, as to when, that's sadly a question I don't have the answer to right now :(.
We welcome anyone with solutions or idea to post in the issue #6131
