Update to flint-2.4.