/usr/lib64/ocaml/stublibs/dllzarith.so libgmp.so.10,libc.so.6
/usr/lib64/ocaml/zarith/zarith.cmxs libgmp.so.10,libc.so.6
