尝试在Arch Linux 4.12.10上使用OCaml进行开发，我一直遇到此错误消息：
### stderr ###
# error: executing gringo failed (No such file or directory)
# error: gringo returned with non-zero exit status
[ERROR] External solver failure, please fix your installation and check /home/me/.opam/config and variable $OPAMEXTERNALSOLVER.
You may also retry with option --use-internal-solver
例如，使用以下命令会发生这种情况：
opam init opam install ocamlfind opam switch 4.02.3+buckle-master 实际上，正如错误消息所示，附加--use-internal-solver会使命令成功运行。
但对此有适当的解决方法吗？
我的OPAM版本是1.2.2。