now using int8_t instead of char when evaluating BINTEST (this fixed a bug on Android machines)