Added the linux 32bit binary