Hi, here is a patch to set COQPATH, the environment variable used by coq 
to find external libraries.