fixed compilation on 32-bit linux with gcc.