flintlib/flint2 not found