kc3-lang/kc3

diff --git a/ic3/configure b/ic3/configure
index 38c0db3..ba97dfd 100755
--- a/ic3/configure
+++ b/ic3/configure
@@ -51,7 +51,7 @@ LIBS="${LIBS:=-lm}"
 # Common config for all targets
 CFLAGS="$CFLAGS -W -Wall -Werror -std=c99 -pedantic"
 CPPFLAGS="$CPPFLAGS -I../libffi/include"
-LIBS="$LIBS ../libffi/.libs/libffi.a"
+LIBS="$LIBS ../libffi/libffi.la -pthread"
 config_asan
 config_gnu
 pkg_config libbsd-overlay