diff --git a/coq/loader.ml b/coq/loader.ml
index 134c9fb8..aec69a65 100644
--- a/coq/loader.ml
+++ b/coq/loader.ml
@@ -64,7 +64,7 @@ let map_serlib fl_pkg =
   if supported
   then
     let plugin_name = String.split_on_char '.' fl_pkg |> list_last in
-    let serlib_name = "coq-lsp.serlib." ^ plugin_name in
+    let serlib_name = "coq-serapi.serlib." ^ plugin_name in
     check_package_exists serlib_name
   else None
 
diff --git a/tests/genarg/dune b/tests/genarg/dune
index b102b89a..23b2e88f 100644
--- a/tests/genarg/dune
+++ b/tests/genarg/dune
@@ -12,7 +12,7 @@
    (run chmod +w test_roundtrip)
    ; We insert the digest of the binaries to force a rebuild of the
    ; test cases if the binary has been modified.
-   (bash "for i in ../../sertop/sercomp.exe ../../vendor/coq-lsp/serlib/plugins/*/*.cmxs; do echo \"# $(md5sum $i)\"; done >> test_roundtrip"))))
+   (bash "for i in ../../sertop/sercomp.exe ../../serlib_8_20/plugins/*/*.cmxs; do echo \"# $(md5sum $i)\"; done >> test_roundtrip"))))
 
 (rule
  (alias runtest)