Description: use Debian paths everywhere
Author: first written by B.Barenblat in 2019, updated by J.Puydt in 2021 and 2025
Forwarded: not-needed

--- coq.orig/tools/make-one-time-file.py
+++ coq/tools/make-one-time-file.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/python3
 import sys
 from TimeFileMaker import *
 
--- coq.orig/dev/bench/bench.sh
+++ coq/dev/bench/bench.sh
@@ -1,4 +1,4 @@
-#! /usr/bin/env bash
+#! /usr/bin/bash
 
 # ASSUMPTIONS:
 # - the OPAM packages, specified by the user, are topologically sorted wrt. to the dependency relationship.
--- coq.orig/dev/bench/sort-by-deps.sh
+++ coq/dev/bench/sort-by-deps.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 program_name="$0"
 program_path=$(readlink -f "${program_name%/*}")
--- coq.orig/dev/ci/ci-basic-overlay.sh
+++ coq/dev/ci/ci-basic-overlay.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 # This is the list of repositories used by the CI scripts, unless overridden
 # by a call to the "overlay" function in ci-common
--- coq.orig/dev/ci/ci-wrapper.sh
+++ coq/dev/ci/ci-wrapper.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 # Use this script to preserve the exit code of $CI_SCRIPT when piping
 # it to `tee time-of-build.log`.  We have a separate script, because
--- coq.orig/dev/dune-dbg.in
+++ coq/dev/dune-dbg.in
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 # Run in a proper install dune env.
 
 opts=()
--- coq.orig/dev/lint-commits.sh
+++ coq/dev/lint-commits.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 # A script to check prettyness for a range of commits
 set -e
--- coq.orig/dev/lint-repository.sh
+++ coq/dev/lint-repository.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 # A script to check prettyness over the repository.
 
--- coq.orig/dev/shim/dune
+++ coq/dev/shim/dune
@@ -17,7 +17,7 @@
  (action
   (with-stdout-to %{targets}
    (progn
-    (echo "#!/usr/bin/env bash\n")
+    (echo "#!/usr/bin/bash\n")
     (bash "echo '\"$(dirname \"$0\")\"/%{bin:coqtop} -I \"$(dirname \"$0\")/%{workspace_root}/../install/default/lib\" -coqlib \"$(dirname \"$0\")/%{project_root}\" \"$@\"'")
     (run chmod +x %{targets})))))
 
@@ -36,7 +36,7 @@
  (action
   (with-stdout-to %{targets}
    (progn
-    (echo "#!/usr/bin/env bash\n")
+    (echo "#!/usr/bin/bash\n")
     (bash "echo '\"$(dirname \"$0\")\"/%{bin:coqidetop.opt} -I \"$(dirname \"$0\")/%{workspace_root}/../install/default/lib\" -coqlib \"$(dirname \"$0\")/%{project_root}\" \"$@\"'")
     (run chmod +x %{targets})))))
 
@@ -55,7 +55,7 @@
  (action
   (with-stdout-to %{targets}
    (progn
-    (echo "#!/usr/bin/env bash\n")
+    (echo "#!/usr/bin/bash\n")
     (bash "echo '\"$(dirname \"$0\")\"/%{bin:coqc} -I \"$(dirname \"$0\")/%{workspace_root}/../install/default/lib\" -coqlib \"$(dirname \"$0\")\"/%{project_root} -nI \"$(dirname \"$0\")\"/%{project_root}/kernel/.kernel.objs/byte \"$@\"'")
     (run chmod +x %{targets})))))
 
@@ -98,7 +98,7 @@
  (action
   (with-stdout-to %{targets}
    (progn
-    (echo "#!/usr/bin/env bash\n")
+    (echo "#!/usr/bin/bash\n")
     (bash "echo '\"$(dirname \"$0\")\"/%{bin:coqtop.byte} -I \"$(dirname \"$0\")/%{workspace_root}/../install/default/lib\" -coqlib \"$(dirname \"$0\")\"/%{project_root} \"$@\"'")
     (run chmod +x %{targets})))))
 
@@ -123,6 +123,6 @@
  (action
   (with-stdout-to %{targets}
    (progn
-    (echo "#!/usr/bin/env bash\n")
+    (echo "#!/usr/bin/bash\n")
     (bash "echo '\"$(dirname \"$0\")\"/%{bin:rocqide} -I \"$(dirname \"$0\")/%{workspace_root}/../install/default/lib\" -coqlib \"$(dirname \"$0\")\"/%{project_root} \"$@\"'")
     (run chmod +x %{targets})))))
--- coq.orig/dev/tools/backport-pr.sh
+++ coq/dev/tools/backport-pr.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -e
 
--- coq.orig/dev/tools/check-eof-newline.sh
+++ coq/dev/tools/check-eof-newline.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 # Usage: check-eof-newline.sh [--fix] FILES...
 # Detect missing end of file newlines for FILES.
--- coq.orig/dev/tools/check-overlays.sh
+++ coq/dev/tools/check-overlays.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 REDBOLD="\033[31;1m"
 RESET="\033[0m"
--- coq.orig/dev/tools/create_overlays.sh
+++ coq/dev/tools/create_overlays.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 # TODO:
 #
--- coq.orig/dev/tools/generate-release-changelog.sh
+++ coq/dev/tools/generate-release-changelog.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -e
 set -o pipefail
--- coq.orig/dev/tools/list-contributors.sh
+++ coq/dev/tools/list-contributors.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 # For compat with OSX which has a non-gnu sed which doesn't support -z
 SED=`(which gsed || which sed) 2> /dev/null`
 
--- coq.orig/dev/tools/make_git_revision.sh
+++ coq/dev/tools/make_git_revision.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 if ! command -v git >/dev/null; then
     >&2 echo "skipping make_git_revision: git not found"
--- coq.orig/dev/tools/merge-pr.sh
+++ coq/dev/tools/merge-pr.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -e
 set -o pipefail
--- coq.orig/dev/tools/pin-ci.sh
+++ coq/dev/tools/pin-ci.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 # Use this script to pin the commit used by the developments tracked by the CI
 
--- coq.orig/doc/tools/coqrst/notations/fontsupport.py
+++ coq/doc/tools/coqrst/notations/fontsupport.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python2
+#!/usr/bin/python3
 # -*- coding: utf-8 -*-
 ##########################################################################
 ##         #      The Rocq Prover / The Rocq Development Team           ##
--- coq.orig/doc/tools/coqrst/regen_readme.py
+++ coq/doc/tools/coqrst/regen_readme.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/python3
 # -*- coding: utf-8 -*-
 
 """Rebuild sphinx/README.rst from sphinx/README.template.rst."""
--- coq.orig/test-suite/coq-makefile/camldep/run.sh
+++ coq/test-suite/coq-makefile/camldep/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -e
 export PATH=$COQBIN:$PATH
--- coq.orig/test-suite/coq-makefile/findlib-package-unpacked/run.sh
+++ coq/test-suite/coq-makefile/findlib-package-unpacked/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 mv src/test_plugin.mlpack src/test_plugin.mllib
--- coq.orig/test-suite/coq-makefile/local-late-extension/run.sh
+++ coq/test-suite/coq-makefile/local-late-extension/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/path-init.sh
 
--- coq.orig/test-suite/coq-makefile/missing-install/run.sh
+++ coq/test-suite/coq-makefile/missing-install/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/native1/run.sh
+++ coq/test-suite/coq-makefile/native1/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 if ! command -v ocamlopt; then
     echo "Skipped: no ocamlopt"
--- coq.orig/test-suite/coq-makefile/native2/run.sh
+++ coq/test-suite/coq-makefile/native2/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 if ! command -v ocamlopt; then
     echo "Skipped: no ocamlopt"
--- coq.orig/test-suite/coq-makefile/native3/run.sh
+++ coq/test-suite/coq-makefile/native3/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 if ! command -v ocamlopt; then
     echo "Skipped: no ocamlopt"
--- coq.orig/test-suite/coq-makefile/native4/run.sh
+++ coq/test-suite/coq-makefile/native4/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 if ! command -v ocamlopt; then
     echo "Skipped: no ocamlopt"
--- coq.orig/test-suite/misc/11170.sh
+++ coq/test-suite/misc/11170.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -e
 
--- coq.orig/test-suite/misc/13330.sh
+++ coq/test-suite/misc/13330.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 $coqc misc/13330/bug_13330.v
 R=$?
--- coq.orig/test-suite/misc/7704.sh
+++ coq/test-suite/misc/7704.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -e
 
--- coq.orig/test-suite/misc/changelog.sh
+++ coq/test-suite/misc/changelog.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 config=../tools/configure/configure.ml
 if ! [ -e "$config" ]; then
--- coq.orig/test-suite/misc/coq_environment.sh
+++ coq/test-suite/misc/coq_environment.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 export COQBIN=$BIN
 export PATH=$COQBIN:$PATH
--- coq.orig/test-suite/misc/coq_makefile_destination_of.sh
+++ coq/test-suite/misc/coq_makefile_destination_of.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 export COQBIN=$BIN
 export PATH=$COQBIN:$PATH
--- coq.orig/test-suite/misc/coqc_dash_o.sh
+++ coq/test-suite/misc/coqc_dash_o.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 DOUT=misc/tmp_coqc_cmdline/
 OUT=${DOUT}coqc_cmdline.vo
--- coq.orig/test-suite/misc/coqtop_print-mod-uid.sh
+++ coq/test-suite/misc/coqtop_print-mod-uid.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 export COQBIN=$BIN
 export PATH=$COQBIN:$PATH
--- coq.orig/test-suite/misc/non-marshalable-state.sh
+++ coq/test-suite/misc/non-marshalable-state.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -ex
 
--- coq.orig/test-suite/misc/poly-capture-global-univs.sh
+++ coq/test-suite/misc/poly-capture-global-univs.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -e
 
--- coq.orig/test-suite/misc/quotation_token.sh
+++ coq/test-suite/misc/quotation_token.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -e
 
--- coq.orig/test-suite/misc/redirect_printing.sh
+++ coq/test-suite/misc/redirect_printing.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 $coqc misc/redirect_printing.v
 diff -u redirect_test.out misc/redirect_printing.out
--- coq.orig/test-suite/misc/side-eff-leak-univs.sh
+++ coq/test-suite/misc/side-eff-leak-univs.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -e
 
--- coq.orig/test-suite/misc/universes/build_all_stdlib.sh
+++ coq/test-suite/misc/universes/build_all_stdlib.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 echo "Require $(find ../../../theories ../../../plugins -type f -name "*.v" | \
         sed 's/^.*\/theories\///' | sed 's/^.*\/plugins\///' | sed 's/\.v$//' | sed 's/\//./g') ."
--- coq.orig/test-suite/report.sh
+++ coq/test-suite/report.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 # save failed logs to logs/, then print failure information
 # returns failure code if any failed logs exist
--- coq.orig/tools/make-both-single-timing-files.py
+++ coq/tools/make-both-single-timing-files.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/python3
 from TimeFileMaker import *
 
 if __name__ == '__main__':
--- coq.orig/tools/make-both-time-files.py
+++ coq/tools/make-both-time-files.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/python3
 from TimeFileMaker import *
 
 if __name__ == '__main__':
--- coq.orig/dev/bench/plotter
+++ coq/dev/bench/plotter
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/python3
 
 import matplotlib.pyplot as plt
 import xdg
--- coq.orig/dev/doc/profiling.md
+++ coq/dev/doc/profiling.md
@@ -37,7 +37,7 @@
 second for the standard library ([example output](https://cdn.rawgit.com/andres-erbsen/b29b29cb6480dfc6a662062e4fcd0ae3/raw/304fc3fea9630c8e453929aa7920ca8a2a570d0b/stdlib_categorized_outermost.svg)).
 
 ```
-#!/usr/bin/env bash
+#!/usr/bin/bash
 make clean
 make states
 perf record -F99  `# ~1GB of data` --call-graph=dwarf -- make world
--- coq.orig/dev/tools/markdown-toc
+++ coq/dev/tools/markdown-toc
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 # from https://github.com/Lirt/markdown-toc-bash
 # MIT license
--- coq.orig/dev/tools/pipeline-stats.py
+++ coq/dev/tools/pipeline-stats.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/python3
 
 import os
 import gitlab
--- coq.orig/doc/corelib/make-library-index
+++ coq/doc/corelib/make-library-index
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 # Instantiate links to library files in index template
 
--- coq.orig/test-suite/coq-makefile/arg/run.sh
+++ coq/test-suite/coq-makefile/arg/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/coqdep-attribute/run.sh
+++ coq/test-suite/coq-makefile/coqdep-attribute/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/path-init.sh
 
--- coq.orig/test-suite/coq-makefile/coqdoc1/run.sh
+++ coq/test-suite/coq-makefile/coqdoc1/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/coqdoc2/run.sh
+++ coq/test-suite/coq-makefile/coqdoc2/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/emptyprefix/run.sh
+++ coq/test-suite/coq-makefile/emptyprefix/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -e
 
--- coq.orig/test-suite/coq-makefile/expand-directories/run.sh
+++ coq/test-suite/coq-makefile/expand-directories/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/path-init.sh
 
--- coq.orig/test-suite/coq-makefile/expand-directories2/run.sh
+++ coq/test-suite/coq-makefile/expand-directories2/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/path-init.sh
 
--- coq.orig/test-suite/coq-makefile/extend-subdirs/run.sh
+++ coq/test-suite/coq-makefile/extend-subdirs/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/findlib-package/run.sh
+++ coq/test-suite/coq-makefile/findlib-package/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/gen-v-during-make/run.sh
+++ coq/test-suite/coq-makefile/gen-v-during-make/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/latex1/run.sh
+++ coq/test-suite/coq-makefile/latex1/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 if which pdflatex; then
 
--- coq.orig/test-suite/coq-makefile/merlin1/run.sh
+++ coq/test-suite/coq-makefile/merlin1/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/missing-included/run.sh
+++ coq/test-suite/coq-makefile/missing-included/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/missing-required/run.sh
+++ coq/test-suite/coq-makefile/missing-required/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/mlpack1/run.sh
+++ coq/test-suite/coq-makefile/mlpack1/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/mlpack2/run.sh
+++ coq/test-suite/coq-makefile/mlpack2/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/multiroot/run.sh
+++ coq/test-suite/coq-makefile/multiroot/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/only/run.sh
+++ coq/test-suite/coq-makefile/only/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/plugin1/run.sh
+++ coq/test-suite/coq-makefile/plugin1/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/plugin2/run.sh
+++ coq/test-suite/coq-makefile/plugin2/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/plugin3/run.sh
+++ coq/test-suite/coq-makefile/plugin3/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/timing-aggregate/run.sh
+++ coq/test-suite/coq-makefile/timing-aggregate/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../timing-template/init.sh
 
--- coq.orig/test-suite/coq-makefile/timing-error/run.sh
+++ coq/test-suite/coq-makefile/timing-error/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../timing-template/init.sh
 
--- coq.orig/test-suite/coq-makefile/timing-per-file/run.sh
+++ coq/test-suite/coq-makefile/timing-per-file/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../timing-template/init.sh
 
--- coq.orig/test-suite/coq-makefile/timing-template/init.sh
+++ coq/test-suite/coq-makefile/timing-template/init.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -x
 set -e
--- coq.orig/test-suite/coq-makefile/uninstall1/run.sh
+++ coq/test-suite/coq-makefile/uninstall1/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/uninstall2/run.sh
+++ coq/test-suite/coq-makefile/uninstall2/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/validate1/run.sh
+++ coq/test-suite/coq-makefile/validate1/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/coq-makefile/vos/run.sh
+++ coq/test-suite/coq-makefile/vos/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/path-init.sh
 
--- coq.orig/test-suite/misc/bench-render.sh
+++ coq/test-suite/misc/bench-render.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -ex
 set -o pipefail
--- coq.orig/test-suite/misc/bug_14550.sh
+++ coq/test-suite/misc/bug_14550.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 $coqc misc/bug_14550/bug_14550.v
 R=$?
--- coq.orig/test-suite/misc/coqc_dash_vok.sh
+++ coq/test-suite/misc/coqc_dash_vok.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 IN_V=misc/coqc_cmdline.v
 OUT_VO=misc/coqc_cmdline.vo
--- coq.orig/test-suite/misc/coqdep-require-filter-categories.sh
+++ coq/test-suite/misc/coqdep-require-filter-categories.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -e
 
--- coq.orig/test-suite/misc/coqdoc-options.sh
+++ coq/test-suite/misc/coqdoc-options.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -e
 
--- coq.orig/test-suite/misc/qed-time.sh
+++ coq/test-suite/misc/qed-time.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -ex
 
--- coq.orig/test-suite/misc/tc_declaration_observer.sh
+++ coq/test-suite/misc/tc_declaration_observer.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -e
 
--- coq.orig/test-suite/precomputed-time-tests/correct-diff-sorting-order-mem/run.sh
+++ coq/test-suite/precomputed-time-tests/correct-diff-sorting-order-mem/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/precomputed-time-tests/correct-diff-sorting-order/run.sh
+++ coq/test-suite/precomputed-time-tests/correct-diff-sorting-order/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/precomputed-time-tests/no-output-sync/run.sh
+++ coq/test-suite/precomputed-time-tests/no-output-sync/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/precomputed-time-tests/non-utf8/run.sh
+++ coq/test-suite/precomputed-time-tests/non-utf8/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/precomputed-time-tests/per-file-fuzz/run.sh
+++ coq/test-suite/precomputed-time-tests/per-file-fuzz/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/precomputed-time-tests/single-file-sorting/run.sh
+++ coq/test-suite/precomputed-time-tests/single-file-sorting/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/precomputed-time-tests/strip-leading-pwd/run.sh
+++ coq/test-suite/precomputed-time-tests/strip-leading-pwd/run.sh
@@ -1,10 +1,10 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
 cd "$(dirname "${BASH_SOURCE[0]}")"
 
-/usr/bin/env python3 -c 'import os; open("time-of-build.log", "w").write(open("time-of-build.log.in", "r").read().replace("$PWD", os.getcwd()))'
+/usr/bin/python3 -c 'import os; open("time-of-build.log", "w").write(open("time-of-build.log.in", "r").read().replace("$PWD", os.getcwd()))'
 
 $make_one_time_file time-of-build.log time-of-build-pretty-user.log
 
--- coq.orig/test-suite/precomputed-time-tests/template/init.sh
+++ coq/test-suite/precomputed-time-tests/template/init.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 set -x
 set -e
--- coq.orig/test-suite/precomputed-time-tests/zero-before/run.sh
+++ coq/test-suite/precomputed-time-tests/zero-before/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 
 . ../template/init.sh
 
--- coq.orig/test-suite/primitive/float/gen_compare.sh
+++ coq/test-suite/primitive/float/gen_compare.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/bash
 # -*- compile-command: "mv -f compare.v{,~} && ./gen_compare.sh" -*-
 set -e