fixed warning on 32-bit linux