diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 0d5142c872..d69848b925 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,6 +1,6 @@
 pkgname=coq
 version=8.9.1
-revision=1
+revision=2
 hostmakedepends="ocaml ocaml-findlib ocaml-num camlp5"
 short_desc="Proof assistant written in OCaml"
 maintainer="Leah Neukirchen <leah@vuxu.org>"
@@ -16,7 +16,7 @@ do_configure() {
 }
 
 do_build() {
-	make
+	make PR_O=
 }
 
 do_install() {