Linux 32 bit binaries compiled