Fix for older check versions with buggy ck_assert_int_eq()