Improve printing of runtime version
Improve printing of runtime version

Make sure the first arguemnt of printf is a format string.

This can be important if the version string does itself containt
a percent sign.

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