Transitioning to rocq from coq with coqtail

Hi. I had been using coqtail to interact with coq. Now I wish to use it to communicate with rocq. What should I need to do for that? I installed rocq. ``` $ rocq --version The Rocq Prover, version 9.0.0 compiled with OCaml 4.14.2 ``` But coqtail complains: ``` Failed to launch Rocq. Could not find coqidetop in /path/to/rocq-9.0.0/bin. Perhaps you need to set g:coqtail_coq_path or g:coqtail_coq_prog. ```