Add more FLINT_DLL's.