diff --git a/lakefile.lean b/lakefile.lean
index 90b21b9..6c1cc3d 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -16,8 +16,8 @@ lean_exe «datetime» where
 target datetime.o pkg : FilePath := do
   let oFile := pkg.buildDir / "DateTime" / "c" / "datetime.o"
   let srcJob ← inputFile <| pkg.dir / "DateTime" / "c"  / "datetime.cpp"
-  let weakArgs := #["-I", (← getLeanIncludeDir).toString]
-  buildO "datetime.cpp" oFile srcJob weakArgs #["-fPIC", "-lstdc++.so.6"] (compiler := "clang") getLeanTrace
+  let flags := #["-I", (← getLeanIncludeDir).toString, "-fPIC"]
+  buildO "datetime.cpp" oFile srcJob flags #[] "c++" getLeanTrace
 
 extern_lib libleandatetime pkg := do
   let name := nameToStaticLib "datetime"