diff --git a/Makefile b/Makefile
index 27eb2e0a6..a9889ce64 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 
-all: printconf template-coq pcuic safechecker erasure erasure-plugin 
+all: printconf template-coq pcuic safechecker erasure erasure-plugin safechecker-plugin quotation
 
 -include Makefile.conf
 
diff --git a/coq-metacoq-common.opam b/coq-metacoq-common.opam
index 58c07b349..451cf0dbe 100644
--- a/coq-metacoq-common.opam
+++ b/coq-metacoq-common.opam
@@ -22,7 +22,7 @@ authors: ["Abhishek Anand <aa755@cs.cornell.edu>"
 license: "MIT"
 build: [
   ["bash" "./configure.sh"]
-  [make "-j" "%{jobs}%" "common"]
+  [make "-j" "%{jobs}%" "-C" "common"]
 ]
 install: [
   [make "-C" "common" "install"]
diff --git a/coq-metacoq-template.opam b/coq-metacoq-template.opam
index 7223f8aa8..dd3d0d8b6 100644
--- a/coq-metacoq-template.opam
+++ b/coq-metacoq-template.opam
@@ -22,7 +22,7 @@ authors: ["Abhishek Anand <aa755@cs.cornell.edu>"
 license: "MIT"
 build: [
   ["bash" "./configure.sh"]
-  [make "-j" "%{jobs}%" "template-coq"]
+  [make "-j" "%{jobs}%" "-C" "template-coq"]
 ]
 install: [
   [make "-C" "template-coq" "install"]