linux 32-bit for v0.10.12