Substitute /bin/bash with /usr/bin/env bash to avoid bashism

Thanks to Kenji Rikitake for bringing this up to our attention.