OCaml version specified
-j jobs option added to Coq IDE