Fix coqide configure to accept make version 4

From: http://cvsweb.netbsd.org/bsdweb.cgi/~checkout~/pkgsrc/lang/coq/patches/patch-configure?rev=1.1