Windows: Question about how to set user-contrib lib for coqlib

I setup platform for windows 25.01.
In the shell installed, I launched coqtop, but it fails to find libs such as HoTT.  
Guess there is some steps setting lib-paths for coqtop ? 
Thanks in advance for any hint.