diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 53ede94ecd2dbc99fcec0b0688c952e36182aef2..7febb833584e8d911eb899505c6e9135750c0b6b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ variables:
   tags:
   - fp
   script:
-  - git clone https://gitlab.mpi-sws.org/FP/iris-ci.git ci -b opam2
+  - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2
   - ci/buildjob
   cache:
     key: "$CI_JOB_NAME-gen_proofmode_WIP"
diff --git a/Makefile b/Makefile
index 7d2ef1b295146f35dd116dc99de1fd2a1c35e2db..f023f15a1eea76c6eadd3719bda1d68ad5cba621 100644
--- a/Makefile
+++ b/Makefile
@@ -13,7 +13,7 @@ clean: Makefile.coq
 .PHONY: clean
 
 # Create Coq Makefile.
-Makefile.coq: _CoqProject Makefile awk.Makefile
+Makefile.coq: _CoqProject Makefile
 	"$(COQBIN)coq_makefile" -f _CoqProject -o Makefile.coq
 
 # Install build-dependencies
@@ -42,7 +42,6 @@ build-dep: build-dep/opam phony
 # Some files that do *not* need to be forwarded to Makefile.coq
 Makefile: ;
 _CoqProject: ;
-awk.Makefile: ;
 opam: ;
 
 # Phony wildcard targets