fix Makefile; fix coq-stdpp dep

3 jobs for master in 3 minutes and 46 seconds