fix: tr.#643
chg: version test for flint 2.4