diff --git a/Makefile b/Makefile
index 775db0a..1da733b 100644
--- a/Makefile
+++ b/Makefile
@@ -8,7 +8,7 @@ clean: Makefile.coq
 _CoqProject:;
 
 Makefile.coq: _CoqProject
-	$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq
+	$(COQBIN)rocq makefile -f _CoqProject -o Makefile.coq
 
 %: Makefile.coq
 	$(MAKE) -f Makefile.coq $@
diff --git a/README.md b/README.md
index 5688d0c..8b4c3d2 100644
--- a/README.md
+++ b/README.md
@@ -62,6 +62,3 @@ cd bignums
 make   # or make -j <number-of-cores-on-your-machine> 
 make install
 ```
-
-
-
diff --git a/coq-bignums.opam b/coq-bignums.opam
index 5b88667..9a9549b 100644
--- a/coq-bignums.opam
+++ b/coq-bignums.opam
@@ -19,7 +19,8 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {= "dev"}
+  "rocq-core" {= "dev"}
+  "coq-stdlib"
 ]
 
 tags: [