Another 32-bit linux tweak