/test-suite/coq-makefile/plugin-reach-outside-API-and-fail/