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

This should allow people with a more recent Makefile to build coq.