* Revert permission change which crept in by mistake.

* Invoke bash wherever it is in $PATH.
Allows the scripts to "run correctly" on systems where /bin/sh is not bash.