Better FLINT-discover fix