Found some linux binaries

Don't know if they work