updated: linux 32-bit binary