I've run into the fact that Debian ships an unusally named arb library (libflint-arb.so rather than libarb.so) on https://trac.sagemath.org/ticket/27270 and I wonder how to adjust the rest of Sage to use it. Could you point me at the corresponding patch(es)? Thanks, Dima