samoht/ocaml-solo5 not found