diff --git a/config/discover.ml b/config/discover.ml
index 0a305bc..c41c9bf 100644
--- a/config/discover.ml
+++ b/config/discover.ml
@@ -71,12 +71,13 @@ let conf_crlibm c =
   );
   (* Workaround 32 bits linker problem.  See
      https://github.com/ocaml/opam-repository/pull/19943 *)
-  let cflags = if arch = "i386" && system = "linux_elf" then
-                 "-Wl,-z -Wl,notext" :: cflags
-               else cflags in
-  cflags
+  let libflags = if arch = "i386" && system = "linux_elf" then
+          ["-ccopt"; "-z"; "-ccopt"; "notext"]
+  else [] in
+  cflags, libflags

 let () =
   let c = C.create "crlibm" in
-  let cflags = conf_crlibm c in
-  C.Flags.write_sexp "c_flags.sexp" cflags
+  let cflags, libflags = conf_crlibm c in
+  C.Flags.write_sexp "c_flags.sexp" cflags;
+  C.Flags.write_sexp "lib_flags.sexp" libflags
diff --git a/src/dune b/src/dune
index 19addb1..e3001d5 100644
--- a/src/dune
+++ b/src/dune
@@ -22,12 +22,13 @@
          double2scs zero_scs
          multiplication_scs scs2double)
  (c_flags  :standard (:include c_flags.sexp))
+ (library_flags :standard (:include lib_flags.sexp))
  (synopsis "Binding to CRlibm, correctly rounded math lib"))

 (copy_files# crlibm/*.{c,h})
 (copy_files# crlibm/scs_lib/*.{c,h})

 (rule
- (targets log-selected.c c_flags.sexp)
+ (targets log-selected.c c_flags.sexp lib_flags.sexp)
  (deps    ../config/discover.exe)
  (action  (run %{deps})))