'/usr/bin/env bash' works on systems without /bin/bash.
'/usr/bin/env bash' works on systems without /bin/bash.

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang