diff --git a/dev/bench/bench.sh b/dev/bench/bench.sh
index c644a6d953b59..b2c7e6f46e7c5 100755
--- a/dev/bench/bench.sh
+++ b/dev/bench/bench.sh
@@ -63,9 +63,9 @@ check_variable () {
 : "${old_ocaml_version:=4.09.1}"
 : "${new_coq_repository:=$CI_REPOSITORY_URL}"
 : "${old_coq_repository:=$CI_REPOSITORY_URL}"
-: "${new_coq_opam_archive_git_uri:=https://github.com/coq/opam-coq-archive.git}"
+: "${new_coq_opam_archive_git_uri:=https://github.com/skyskimmer/opam-coq-archive.git}"
 : "${old_coq_opam_archive_git_uri:=https://github.com/coq/opam-coq-archive.git}"
-: "${new_coq_opam_archive_git_branch:=master}"
+: "${new_coq_opam_archive_git_branch:=sort-poly}"
 : "${old_coq_opam_archive_git_branch:=master}"
 : "${num_of_iterations:=1}"
 : "${timeout:=3h}"