diff --git a/bin/build-src-distrib.sh b/bin/build-src-distrib.sh
index 2fca9d0c904372da6689379e9549fafee43d9ff6..6e32cc9de9739650e3a72a925bbe29d607b60046 100755
--- a/bin/build-src-distrib.sh
+++ b/bin/build-src-distrib.sh
@@ -791,7 +791,7 @@ case "${STEP}" in
     9)
         step 9 "GENERATE OPAM FILE"
         assert_out_dir
-        run "cp opam/opam $OUT_DIR/opam"
+        cat opam/opam | grep -v "^version\:" | grep -v "^name\:" > $OUT_DIR/opam
         echo >> "$OUT_DIR/opam"
         echo "url {" >> "$OUT_DIR/opam"
         echo "  src: \"https://git.frama-c.com/pub/frama-c/-/wikis/downloads/$TARGZ_FILENAME\"" >> "$OUT_DIR/opam"