Update to flint-2.4.4.