resolve SIGSEGV in 32-bit Linux