diff --git a/coq_tools/find_bug.py b/coq_tools/find_bug.py
index 9d26b7b..1ebb241 100755
--- a/coq_tools/find_bug.py
+++ b/coq_tools/find_bug.py
@@ -2250,7 +2250,7 @@ def make_make_coqc(coqc_prog, **kwargs):
                         list(env[passing_prefix + "libnames"]) + [(coq_theories_path, "Corelib")]
                     )
                     env[passing_prefix + "libnames"] = tuple(
-                        list(env[passing_prefix + "libnames"]) + [(coq_user_contrib_path, "Stdlib")]
+                        list(env[passing_prefix + "libnames"]) + [(coq_user_contrib_path, "Coq")]
                     )
                     for p in coqpath_paths:
                         env[passing_prefix + "libnames"] = tuple(