patch for coq when Make 4.0 is present (issue #1262)
Merge pull request #1899 from c-cube/master

patch for coq when Make 4.0 is present (issue #1262)