opam: yet more debugging