fixed compilation error for building 32-bit binary