/usr/local/lib/coq
