Rocq not starting

I am trying to use rocq via coqtail. But I can't get it to start. ``` Failed to launch Rocq. Coqtail received an unexpected error message on stderr. Please report at https://github.com/whonore/Coqtail/issues. This can sometimes happen if the message is actually a warning, but is not formatted in a way that Coqtail recognizes. If you wish to ignore this error and tr y to proceed past it, set g:coqtail_treat_stderr_as_warning = 1. Warning, feedback message received but no listener to handle it! Warning, feedback message received but no listener to handle it! Failed to launch Rocq. Coqtail received an unexpected error message on stderr. Please report at https://github.com/whonore/Coqtail/issues. This can sometimes happen if the message is actually a warning, but is not formatted in a way that Coqtail recognizes. If you wish to ignore this error and tr y to proceed past it, set g:coqtail_treat_stderr_as_warning = 1. Warning, feedback message received but no listener to handle it! Warning, feedback message received but no listener to handle it! Rocq is still starting. Rocq is still starting. ``` I could get it to work when the stdlib was not installed. But am getting the above error after installing the stdlib. What could be causing this problem? And how can it be fixed? Rocq itself if working fine when used via coqtop. Stdlib is getting loaded too there.