Ubuntu opam init failure

[dbuenzli]

@Konrad_Eisele

grounder returned with non-zero exit status

Searching the web for this error message yields this.

If you are not using opam v2, you should it no longer needs an external solver.