I had to try several times to finish downloading it. It was strange, as if it had trouble getting the file from GitHub.
