Revert "Use redefined OCAMLMKLIB variable in specs/Makefile.OCaml"
Revert "Use redefined OCAMLMKLIB variable in specs/Makefile.OCaml"

This reverts commit 6a4a35fe0580c895cd073dfe6c1c0db426faff95.

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star