eliminate gcc warnings on 32-bit Linux