"gzip: stdin: not in gzip format" installing Julia

AWS was (is?) having a DNS name resolution issue earlier today. I suspect this is the cause of this problem.

https://status.aws.amazon.com