On Linux, also build the instrumented runtime during CI
On Linux, also build the instrumented runtime during CI

(cherry picked from commit 878508c6ba3d2d25ec25c5f646b73af1275abd10)

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