diff --git a/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam b/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
index ced61f70f..9864f9b55 100644
--- a/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
+++ b/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
@@ -42,6 +42,7 @@ build: [
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
+  ["mv" "stdlib/coq-stdlib.install" "."]
 ]
 
 url {