Make the Makefile actually work with bundled coq

Before, it was looking for it to be already installed.