improve compilation of C files
Merge branch 'typerex2' of github.com:OCamlPro/typerex into typerex2