https://github.com/rochus-keller/OberonSystem3Native/releases

gzip: stdin: not in gzip format