I don't know how to do these things, but there is a single-file Linux binary there in the releases page.