Distributors generally don't like /usr/bin/env  because they don't
want packaged applications to depend on the user's personal PATH.
However, distributors can, and they do, adjust the shebang to their
liking. So it seems better to optimize towards respecting any
customizations that a continuous integration/deployment system or a
contributor might have made to the environment.