OCAML 4.02: deprecated warnings

replaced refs to deprecated values/functions.