https://github.com/bbatsov/neocaml

gzip: stdin: not in gzip format