Ocamlot triage 4.01rc2 fixes