emacs and ocaml stuff