diff --git a/lakefile.lean b/lakefile.lean
index addf99f..1e3b4c8 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -217,7 +217,7 @@ target libonnxruntime pkg : FilePath := do
 
 def buildCpp (pkg : Package) (path : FilePath) (deps : List (BuildJob FilePath)) : SchedulerM (BuildJob FilePath) := do
   let optLevel := if pkg.buildType == BuildType.release then "-O3" else "-O0"
-  let flags := #["-fPIC", "-std=c++11", "-stdlib=libc++", "--target=arm64-apple-macos11", optLevel]
+  let flags := #["-fPIC", "-std=c++11", "-stdlib=libc++", optLevel]
   let args := flags ++ #["-I", (← getLeanIncludeDir).toString, "-I", (pkg.buildDir / "include").toString]
   let oFile := pkg.buildDir / (path.withExtension "o")
   let srcJob ← inputFile <| pkg.dir / path