https://github.com/joelburget/microjax

gzip: stdin: not in gzip format