added 32-bit Linux binary to download list