diff --git a/examples/ffi/lib/lakefile.lean b/examples/ffi/lib/lakefile.lean
index fae86a96a7..ec2ffb4d21 100644
--- a/examples/ffi/lib/lakefile.lean
+++ b/examples/ffi/lib/lakefile.lean
@@ -21,4 +21,4 @@ target ffi.o (pkg : Package) : FilePath := do
 extern_lib libleanffi (pkg : Package) := do
   let name := nameToStaticLib "leanffi"
   let ffiO ← fetch <| pkg.target ``ffi.o
-  buildStaticLib (pkg.libDir / name) #[ffiO]
+  buildStaticLib (pkg.nativeLibDir / name) #[ffiO]