GCC 4.1.2 32-bit fixes