--- configure.orig	2008-05-03 23:43:30.000000000 +0300
+++ configure	2009-02-02 23:23:42.000000000 +0200
@@ -6790,15 +6790,20 @@
 
 
 if test "$USER_FFI" = "yes" ;then
-  echo "Configuring libffi"
-  (cd ffi; CC=${CC} CFLAGS=${CFLAGS} ./configure \
-           --disable-structs --disable-raw-api --disable-shared \
-	   --prefix=$prefix)
-  LIBS="$LIBS ../ffi/.libs/libffi.a"
-  CFLAGS="$CFLAGS -I../ffi/include"
-  LIBFFI="ffi"
+#  echo "Configuring libffi"
+#  (cd ffi; CC=${CC} CFLAGS=${CFLAGS} ./configure \
+#           --disable-structs --disable-raw-api --disable-shared \
+#	   --prefix=$prefix)
+#  LIBS="$LIBS ../ffi/.libs/libffi.a"
+#  CFLAGS="$CFLAGS -I../ffi/include"
+#  LIBFFI="ffi"
+#  HAVE_FFI="#define HAVE_FFI 1"
+#  FFI="yes"
+  echo "Using the system libffi library"
+  LIBS="$LIBS -lffi"
+  LIBFFI=""
   HAVE_FFI="#define HAVE_FFI 1"
-  FFI="yes"
+  FFI="use the system library"
 else
   echo "Disabling FFI support"
   LIBFFI=""
