gdbm.ffi: fix library name on Linux

diff --git a/extra/gdbm/ffi/ffi.factor b/extra/gdbm/ffi/ffi.factor
index 2fac072195cb86ea66cf09b294c5f15b24710e06..3abc15d59f7ccb2900ff7eff3b98a8f390433694 100755 (executable)
--- a/extra/gdbm/ffi/ffi.factor
+++ b/extra/gdbm/ffi/ffi.factor
@@ -6,8 +6,8 @@ IN: gdbm.ffi
 
 << "libgdbm" {
     { [ os macosx? ] [ "libgdbm.dylib" ] }
-    { [ os unix?   ] [ "libgdbm.so"    ] }
-    { [ os windows?  ] [ "gdbm3.dll"     ] }
+    { [ os unix? ] [ "libgdbm.so.3" ] }
+    { [ os windows? ] [ "gdbm3.dll" ] }
 } cond cdecl add-library >>
 
 LIBRARY: libgdbm