/usr/bin/jingoo libm.so.6,libc.so.6
/usr/lib64/ocaml/jingoo/jingoo.cmxs 
