This is a temporary fix until we can get Julia versions directly from julialang.org. Right now the GitHub API randomly fails due to rate limiting which leads to builds failing even if a valid specific version was specified.