diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7bb6c66..e93f8e5 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -59,4 +59,4 @@ jobs:
       run: |
         opam switch ${{ matrix.version }}
         eval $(opam env --switch=${{ matrix.version }})
-        dune runtest && cd cpp && ./test/run_test.py make && ./test/run_test.py for
+        dune runtest && cd cpp && python3 ./test/run_test.py make && python3 ./test/run_test.py for
diff --git a/c-tree-carver.opam b/c-tree-carver.opam
index 80df045..b4dd715 100644
--- a/c-tree-carver.opam
+++ b/c-tree-carver.opam
@@ -7,13 +7,14 @@ authors: ["Dhruv Makwana <dhruv.makwana@cl.cam.ac.uk"]
 license: ["MIT" "BSD-2-Clause"]
 tags: ["topics" "c" "clang" "tool" "tree-carving"]
 homepage: "https://github.com/rems-project/c-tree-carver"
+doc: "https://github.com/rems-project/c-tree-carver"
 bug-reports: "https://github.com/rems-project/c-tree-carver/issues"
 depends: [
   "dune" {>= "3.7"}
   "ocaml" {>= "4.14.1"}
   "conf-c++"
   "conf-cmake" {dev}
-  "conf-llvm" {= "15"}
+  "conf-libclang" {= "15"}
   "conf-python-3" {with-test}
   "fileutils" {>= "0.6.4"}
   "shexp" {>= "v0.15.0"}