Linux version

I am not sure how I can pull a release in github.