scripts: Do not hard-code /bin/bash.

Instead, use Bash from PATH.  This approach works more reliably on
distributions not strictly adhering to the File Hierarchy
Standard (FHS) such as Guix System or NixOS.

Change-Id: Ic7b168d0f4d73f3a1cb1085e9a84600a25d153c5