Use 32 bit x86 binaries for Linux i386
Release 0.12.4