Improve the handling of profiling flags for runtime build
Improve the handling of profiling flags for runtime build

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml