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

This should allow people with a more recent Makefile to build coq.

The patch is from the `configure` file of `8.4pl3`, but it may work for other versions too (for me it works on `8.3`). I hope this will fix the problem of people who have too recent a `make` (archlinux...)