Fix HAVE_INT128_T bug