Fixed issue on 32-bit linux.