update: added ifdef FLINT_VER_2.4.5, LLL_Flint will not work with Flint 2.4.4