fix+doc: FLINT_VER_2_4_5