The node you are looking for is at
Using the Coq project file
.