https://github.com/Jiayi-Pan/TinyZero

gzip: stdin: not in gzip format