Instructions to build on Linux 32-bit