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