diff --git a/awk.Makefile b/awk.Makefile
index 91f7d7374d1fd76f61ef2f9404ba4e1b1ac3dfb7..dc1c7eee18ec6f3d5f1530e777e707dc9c1ff393 100644
--- a/awk.Makefile
+++ b/awk.Makefile
@@ -19,17 +19,5 @@
 	next
 }
 
-# Add new target quick2vo to (a) run "make quick" with the same number of jobs, ensuring
-# that the .vio files are up-to-date, and (b) only schedule vio2vo for those
-# files where the .vo is *older* than the .vio.
-/^vio2vo:/ {
-	print "quick2vo:";
-	print "\t@make -j $(J) quick"
-	print "\t@VIOFILES=$$(for vofile in $(VOFILES); do viofile=\"$$(echo \"$$vofile\" | sed \"s/\\.vo/.vio/\")\"; if [ \"$$vofile\" -ot \"$$viofile\" -o ! -e \"$$vofile\" ]; then echo -n \"$$viofile \"; fi; done); \\"
-	print "\t echo \"VIO2VO: $$VIOFILES\"; \\"
-	print "\t if [ -n \"$$VIOFILES\" ]; then $(TIMER) $(COQC) $(COQDEBUG) $(COQFLAGS) -schedule-vio2vo $(J) $$VIOFILES; fi"
-	print ".PHONY: quick2vo"
-}
-
 # This forwards all unchanged lines
 1
diff --git a/opam b/opam
index 7ab3bcf9b2cab81a201be69292e5d97b73ee1908..c08fff638485299d05c935bc41890f2bdbb955d9 100644
--- a/opam
+++ b/opam
@@ -10,6 +10,6 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 remove: ["rm" "-rf" "%{lib}%/coq/user-contrib/iris"]
 depends: [
-  "coq" { >= "8.7.1" & < "8.8~" | (= "dev") }
+  "coq" { >= "8.7.1" & < "8.9~" | (= "dev") }
   "coq-stdpp" { (= "dev.2018-03-21.0") | (= "dev") }
 ]