Use Linux binaries