updates from mirleft-0.2 upstream now in opam