update LLL_Flint: added ifdef HAVE_FLINT in the include flies